Изменения

Перейти к: навигация, поиск
Нет описания правки
{{Определение
|definition =
'''Полусистема Туэ (semi-Thue system)''' {{- --}} это формальная система, определяемая алфавитом <tex>A</tex>
и конечным множеством подстановок вида <tex>\alpha_i\rightarrow \beta_i</tex>, где <tex>\alpha_i, \beta_i</tex> - слова из <tex>A</tex>.
}}
{{Определение
|definition =
'''Проблема останова (halting problem)''' {{- это --}} задача, в которой требуется по заданной программе проверить завершиться ли она на определенных входных данных.
}}
333
правки

Навигация