Задачка по теории автоматов

tania27

Есть базис из дизьюнкции и задержки,инициализированной в начальный момент времени 0.
Из дизьюнкции и задержки построены три автомата, которые в свою очередь явл-ся базисом:

1-й элемент-константа 0, без второго никогда не будет получаться задержка, без третьего,собственно , дизъюнкция.
Вопрос, какие 4 автомата будут явл-ся базисом?

tania27

up, люди, up

Romeo_YV

Если базис состоит из трех элементов, то он не может состоять из четырех элементов, так как четвертый выражается через первые три

G100my

надо не чётвёртый придумать, а новый из 4 элементов

Genmaximus

Есть теорема, что есть базис мостоящий ровно из N элементов для любого N. Вот по этой теореме и нужно строить. Можно и такой: коньюнкция, дизьюнкция, отрицание и задержка

tania27

коньюнкцию и отрицание из задержки и дизьюнкции, вот хоть ты тресни, не построить......
Оставить комментарий
Имя или ник:
Комментарий: