LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Чеботарьов, А. М.; Курівчак, О. І. (2013)
Publisher: National Aviation University
Languages: Ukrainian
Types: Unknown
Subjects: deterministic automaton; language L; the rank of an atom; predicate; conjunction; atom zero rank, детерминированный автомат; язык L; ранг атома; предикат; конъюнкция; атом нулевого ранга, детермінований автомат; мова L; ранг атома; предикат; кон'юнкція; атом нульового рангу
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. Исследуются некоторые формы представления спецификаций детерминированных автоматов в языке L. Использование таких форм при построении спецификации уменьшает вероятность допущения ошибок. Досліджуються деякі форми подання специфікацій детермінованих автоматів у мові L. Використання таких форм при побудові специфікації зменшує вірогідність допущення помилок.
  • No references.
  • No related research data.
  • No similar publications.