Metadata
Author: WikiMatrix
Data
German[de]
Sie unterscheiden sich durch ihre Symbol- (Terminal- und Nichtterminal-Symbole) und Produktionsregelsysteme und müssen verschiedenen genau festgelegten Überprüfungsmethoden (z. B. durch Turingmaschinen) genügen.
Ukrainian[uk]
Типи відрізняються системами символів (термінальні та нетермінальні символи) і правилами продукування (підстановки) та мають підлягати встановленим правилам перевірки (напр. машиною Тюрінга).