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