dc.contributor.author | Бенидзе, Н. Н. | uk |
dc.date.accessioned | 2016-01-15T14:04:43Z | |
dc.date.available | 2016-01-15T14:04:43Z | |
dc.date.issued | 2010 | |
dc.identifier.citation | Бенидзе, Н. Н. Задача оценки верицикации (корректности) алгоритмов и компьютерных программ [Текст] / Н. Н. Бенидзе // Оптико-електроннi iнформацiйно-енергетичнi технологiї. - 2010. - № 2. - С. 80-83. | ru |
dc.identifier.issn | 2311-2662 | |
dc.identifier.issn | 1681-7893 | |
dc.identifier.uri | http://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173 | |
dc.identifier.uri | http://ir.lib.vntu.edu.ua/handle/123456789/3366 | |
dc.description.abstract | В статье исследуются вопросы, связанные с задачей установления правильности алгоритмов и соответствующих им компьютерных программ. В работе особое место занимает анализ связи между конечными автоматами, порождающими грамматиками и языками, который позволяет сформулировать принцип корректности алгоритмов и программ синтаксического анализа. | ru |
dc.description.abstract | У статті досліджуються питання, пов'язані із завданням встановлення правильності алгоритмів і відповідних їм комп'ютерних программ.В роботі особливе місце займає аналіз зв'язку між кінцевими автоматами, породжують граматиками і мовами, який дозволяє сформулювати принцип коректності алгоритмів і програм синтаксичного аналізу. | uk |
dc.description.abstract | The article deals with issues related to the task of establishing the correctness of the algorithm and corresponding computer programs. The work occupies a special place analysis of the connection between finite automata generate grammars and languages, which allows us to formulate the principle of correctness algorithms and software parsing. | en |
dc.language.iso | ru_RU | ru_RU |
dc.publisher | ВНТУ | uk |
dc.subject | конечный автомат | ru |
dc.subject | формальные языки | ru |
dc.subject | формальная грамматика | ru |
dc.subject | регулярные множество | ru |
dc.subject | принцип корректности алгоритмов | ru |
dc.subject | синтаксический анализ | ru |
dc.title | Задача оценки верицикации (корректности) алгоритмов и компьютерных программ | ru |
dc.title.alternative | Завдання оцінки веріцікаціі (коректності) алгоритмів та комп'ютерних програм | uk |
dc.type | Article | |
dc.identifier.udc | 004.05 | |