ВУЗ:
Составители:
Рубрика:
86
90 INPUTPAEOTATb ДАЛЬШЕ ДА(1), НЕТ (0)' R
95 IF R=1 THEN 15
100 END
200 REM ПОДПРОГРАММА ИНВЕРСИИ
205 I1=0:IFI=0 THEN 11=1
210 RETURN
Приведенная программа не имеет каких-либо особенностей в работе,
необходимо лишь отметить, что поскольку в языке Basic нет функции
инверсии, то эта функция организуется в виде подпрограммы, а логические
функции дизъюнкции и конъюнкции заменяются соответственно сложением
и умножением с последующей нормализацией их результата к логической
единице (см. строку N55 или N65 программы )[5].
3.10. ПОКРЫТИЕ И ЭКВИВАЛЕНТНОСТЬ АВТОМАТОВ
Автомат M
1
покрывает автомат М, есливходнойивыходнойалфавиту
этих автоматов общие, переработка входных слов заданной длины r
производиться одинаковым образом, а число внутренних состояний S
1
автомата M
1
меньше, чем у автомата М, т.е.
при этом пишут M
1
≥
M (автомат M
1
покрывает М).
Отношение покрытия на множестве автоматов есть квазипорядок в
силу транзитивность и рефлексивности. Автоматы M
1
и М эквивалентны,
если взаимно покрывают друг друга, т.е. M
1
≥
M и M
1
≤ M, вэтомслучае
пишут M
1
=M.
Эквивалентные автоматы неразличимы по реакции на выходе, но могут
иметь различное количество внутренних состояний и, следовательно, могут
отличаться внутренними состояниями при одинаковых входных
воздействиях.
Очевидно, что эквивалентность автоматов рефлексивна, симметрична и
транзитивна.
Страницы
- « первая
- ‹ предыдущая
- …
- 84
- 85
- 86
- 87
- 88
- …
- следующая ›
- последняя »
