jazyk formalizovaný
- výsledok formalizácie jazyka; kalkul s určitou interpretáciou ( L53;148).
---------------------- jazyk formalizovaný>