Изменения

Перейти к: навигация, поиск

Линейный клеточный автомат, эквивалентность МТ

146 байт добавлено, 19:51, 10 марта 2019
Нет описания правки
==Определения==
{{Определение| id=cellularautomaton|definition=
'''Клеточным автоматом''' (КА) (англ. ''cellular automaton'') <tex>A</tex> размерности <tex>d</tex> называется четверка <tex> \langle {Z^d}, S, N, \delta \rangle</tex>, где
* <tex>S</tex> {{---}} конечное множество, элементы которого являются состояниями <tex>A</tex>.
Из доказанных выше теорем следует, что линейный клеточный автомат и машина Тьюринга эквивалентны.
 
==См. также ==
* [[Машина Тьюринга]]
* [[Линейный ограниченный автомат]]
== Источники информации ==
36
правок

Навигация