Л36 Левин, Виталий Ильич. Введение в динамическую теорию конечных автоматов [] / В. И. Левин ; Акад. наук Латв. ССР, Ин-т электроники и вычисл. техники. - Рига : Зинатне, 1975. - 376 с. : рис., табл. - Лит.: с. 363-368. - Предм. указ.: с. 369-371. - 1.67 р.
Рубрики: Автоматів теорія--Наукові видання фывфывфыв: бесконечная логика -- безкінцева логіка -- эквивалентные преобразования -- еквівалентні перетворення -- конечные автоваты без памяти -- кінцеві автомати без пам'яті -- динамика конечных автоматов -- динаміка кінцевих автоматів -- метод декомпозиции -- метод декомпозиції -- метод эквивалентных схем -- метод еквівалентних схем -- входные воздействия кратности -- вхідні впливи кратності -- обнаружение ошибок -- виявлення помилок -- устранение ошибок -- усунення помилок -- квазистатический анализ конечного автомата -- квазістатичний аналіз кінцевого автомату -- численные процедуры -- численні процедури -- алгебра логики -- алгебра логіки -- итеративный динамический анализ -- ітеративний динамічний аналіз -- декомпозиція Аннотация: Методы анализа динамики конечных автоматов и в некоторой степени - методов синтеза автоматов с заданной динамикой. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Академия наук Латвийской ССР Институт электроники и вычислительной техники Экземпляры всего: 1 ВВ (1) Свободны: ВВ (1) |