|
Автоматика и телемеханика, 1998, выпуск 9, страницы 142–154
(Mi at2794)
|
|
|
|
Автоматы
Метод независимых фрагментов для построения линеаризованных структурированных граф-схем алгоритмов, реализующих системы булевых формул
Б. П. Кузнецов, А. А. Шалыто НПО "Аврора", Санкт-Петербург
Аннотация:
Предлагается эффективный по трудоемкости аналитический метод реализации систем булевых формул линеаризованными структурированными граф- схемами алгоритмов, число вершин в которых равно числу букв в операторах структур, по которым строятся эти граф-схемы. Это позволяет за счет упрощения оператора минимизировать изоморфную ему граф-схему, что до сих пор удавалось делать лишь при реализации одиночных булевых формул параллельно-последовательными контактными схемами, излагается простой аналитический метод верификации таких граф-схем.
Поступила в редакцию: 30.01.1995
Образец цитирования:
Б. П. Кузнецов, А. А. Шалыто, “Метод независимых фрагментов для построения линеаризованных структурированных граф-схем алгоритмов, реализующих системы булевых формул”, Автомат. и телемех., 1998, № 9, 142–154; Autom. Remote Control, 59:9 (1998), 1317–1326
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at2794 https://www.mathnet.ru/rus/at/y1998/i9/p142
|
Статистика просмотров: |
Страница аннотации: | 207 | PDF полного текста: | 88 | Первая страница: | 2 |
|