e/uk/Система формальна

Information
instance of	e/Formal methods

Meaning
Ukrainian
has gloss	ukr: Систе́ма форма́льна — сукупність символів та їхніх кінцевих послідовностей (формул), упорядкованих за певними правилами. Кожна С. ф. задається списком вихідних символів, правил побудови та перетворення формул (див. Числення). Прикладом С. ф. є формалізми логіч. теорій.
lexicalization	ukr: Система формальна