170k views
4 votes
What is formal language theory, and is logic a formal language?

User Lauris
by
4.6k points

1 Answer

2 votes

Answer:

Formal language theory is the study of formal languages, or often more accurately the study of families of formal languages. ... Formal language theory is concerned with the purely syntactical aspects, rather than a semantics or meaning of the strings.

Formal language theory (FLT), part of the broader mathematical theory of computation, provides a systematic terminology and set of conventions for describing rules and the structures they generate, along with a rich body of discoveries and theorems concerning generative rule systems.

Step-by-step explanation:

User Tsilb
by
5.2k points