Проверка непротиворечивости исходных описаний конечных автоматов - реферат по информатике и телекоммуникациям

 

Тезисы:

  • Алгоритм проверки непротиворечивости СРВ.
  • Как это видно из построения ПТ СРВ (2) является непротиворечивой.
  • Em) определим дополнительную букву Ym+1. Также введем условие непротиворечивости Ei.
  • Длиной l-пути будем называть число входящих в него l-дуг.
  • Здесь S1, S2, ..., Sm начальные и Z1, Z2, ..., Zm заключительные состояния соответствующих СПп.
  • Вавилов Е.Н., Портной Г.П. Синтез схем электронных цифровых машин.
  • М.: Сов.радио, 1963.
  • Грис Д. Конструирование компиляторов для цифровых вычислительных машин.
  • Вишняков Ю.М. Инструментарий разработчика СБИС.
  • Таганрог: ТРТУ, 1993.
Читать онлайнСкачать реферат

 

 

Похожие работы:

Еще похожие работы

Предметы

Все предметы »

 

 

Актуальные рефераты по информатике и телекоммуникациям