Prindi | E-postile | Salvesta 
formaalkeeled
formal languages
ESTER | ISE | ERB | Google
Laiemad:abstraktsed automaadid abstract automata
formaalsed meetodid (inform.) formal methods (inform.)
matemaatiline loogika logical calculus; mathematical logic
tehiskeeled artificial languages
Kitsamad:programmeerimiskeeled programming languages
regulaarsed keeled regular languages
Seotud:algoritmiteooria theory of algorithms
formaalne grammatika formal grammar
metakeeled metalanguages
mudeliteooria model theory
Valdkonnad:21 MATEMAATIKA.
36 INFORMAATIKA. INFOTEHNOLOOGIA. AUTOMAATIKA.
54 KEELETEADUS. KEELED.