Наукова періодика України Оптико-електронні інформаційно-енергетичні технології

Бенидзе Н. Н. 
Задача оценки верификации (корректности) алгоритмов и компьютерных программ / Н. Н. Бенидзе // Оптико-електронні інформаційно-енергетичні технології. - 2010. - № 2. - С. 80-83. - Режим доступу: http://nbuv.gov.ua/UJRN/oeiet_2010_2_14
Исследованы вопросы, связанные с задачей установления правильности алгоритмов и соответствующих им компьютерных программ. Особое место занимает анализ связи между конечными автоматами, порождающими грамматиками и языками, который позволяет сформулировать принцип корректности алгоритмов и программ синтаксического анализа.
  Повний текст PDF - 354.397 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Бенидзе Н.

    • Бібліографічний опис для цитування:

    Бенидзе Н. Н. Задача оценки верификации (корректности) алгоритмов и компьютерных программ / Н. Н. Бенидзе // Оптико-електронні інформаційно-енергетичні технології. - 2010. - № 2. - С. 80-83. - Режим доступу: http://nbuv.gov.ua/UJRN/oeiet_2010_2_14.
      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського