ภาษาเชิงรูปนัย

ภาษาที่กำหนดโดยกฎทางคณิตศาสตร์ ซึ่งเป็นพื้นฐานทางทฤษฎีของภาษาโปรแกรม