Л22
Ланге Э. Э. Разработка методов синтеза конечных автоматов с учетом особенностей их матричной реализации : автореф. дис. ...канд. техн. наук : 05.13.01 "Техническая кибернетика и теория информации" / Ланге Элмар Эрнестович ; Ин-т электроники и вычислительной техники АН Латвийской ССР. – Рига, 1982. – 23 с.
Ланге Э. Э. Разработка методов синтеза конечных автоматов с учетом особенностей их матричной реализации : автореф. дис. ...канд. техн. наук : 05.13.01 "Техническая кибернетика и теория информации" / Ланге Элмар Эрнестович ; Ин-т электроники и вычислительной техники АН Латвийской ССР. – Рига, 1982. – 23 с.
Статистика використання: Видач: 0
Анотація:
Цель работы - разработка формализованных методов синтеза конечных автоматов с учетом особенностей их матричной реализации. Цель достигается:
- совместным решением задач минимизации числа внутренних состояний и их кодирования, позволяющим сократить длину кода;
- совместным решением задач минимизации числа внутренних состояний, их кодирования и минимизации систем функций возбуждения и выходов в классе дизъюнктивной нормальной формы (ДНФ), позволяющим представить логическую структуру синтезируемого автомата в виде ДНФ системы булевых функций с минимальным числом различных членов;
- эффективной организацией перебора при решении логико-комбинаторных задач больших размеров, позволяющей автоматизировать логический синтез конечных автоматов реальной сложности.
- совместным решением задач минимизации числа внутренних состояний и их кодирования, позволяющим сократить длину кода;
- совместным решением задач минимизации числа внутренних состояний, их кодирования и минимизации систем функций возбуждения и выходов в классе дизъюнктивной нормальной формы (ДНФ), позволяющим представить логическую структуру синтезируемого автомата в виде ДНФ системы булевых функций с минимальным числом различных членов;
- эффективной организацией перебора при решении логико-комбинаторных задач больших размеров, позволяющей автоматизировать логический синтез конечных автоматов реальной сложности.