REGULAR FORM SPECIFICATION OF L LANGUAGE DETERMINISTIC AUTOMATA
А. М. Чеботарьов, O. I. Kurivchak · Science-based technologies · 2009
Some forms of representation of deterministic automata specifications in the language L are investigated. The use of such forms in the construction of specifications decreases the possibility of errors.