| 11. | In mathematical logic, the object language is usually a formal language.
|
| 12. | The algorithm is described most conveniently using quotients of formal languages.
|
| 13. | The school was established, in the formal language of the Comintern:
|
| 14. | Recognizable sets are useful in automata theory, formal languages and algebra.
|
| 15. | In metalogic, formal languages are sometimes called " object languages ".
|
| 16. | Therefore, formal language theory is a major application area of automaton.
|
| 17. | However, formal language in Japanese uses different vocabulary and structures from informal language.
|
| 18. | Symbols of a formal language need not be symbols of anything.
|
| 19. | This means that the symbol does not appear in the resulting formal language.
|
| 20. | Ginsburg turned his attention to formal language theory in the 1960s.
|
