Показати скорочену інформацію

dc.contributor.authorБенидзе, Н. Н.uk
dc.date.accessioned2016-01-15T14:04:43Z
dc.date.available2016-01-15T14:04:43Z
dc.date.issued2010
dc.identifier.citationБенидзе, Н. Н. Задача оценки верицикации (корректности) алгоритмов и компьютерных программ [Текст] / Н. Н. Бенидзе // Оптико-електроннi iнформацiйно-енергетичнi технологiї. - 2010. - № 2. - С. 80-83.ru
dc.identifier.issn2311-2662
dc.identifier.issn1681-7893
dc.identifier.urihttp://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173
dc.identifier.urihttp://ir.lib.vntu.edu.ua/handle/123456789/3366
dc.description.abstractВ статье исследуются вопросы, связанные с задачей установления правильности алгоритмов и соответствующих им компьютерных программ. В работе особое место занимает анализ связи между конечными автоматами, порождающими грамматиками и языками, который позволяет сформулировать принцип корректности алгоритмов и программ синтаксического анализа.ru
dc.description.abstractУ статті досліджуються питання, пов'язані із завданням встановлення правильності алгоритмів і відповідних їм комп'ютерних программ.В роботі особливе місце займає аналіз зв'язку між кінцевими автоматами, породжують граматиками і мовами, який дозволяє сформулювати принцип коректності алгоритмів і програм синтаксичного аналізу.uk
dc.description.abstractThe 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.isoru_RUru_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.typeArticle
dc.identifier.udc004.05


Файли в цьому документі

Thumbnail

Даний документ включений в наступну(і) колекцію(ї)

Показати скорочену інформацію