Редактирование: Примеры неразрешимых задач: задача о выводе в полусистеме Туэ
Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 1: | Строка 1: | ||
{{Определение | {{Определение | ||
− | |definition = '''Полусистема Туэ''' | + | |definition = '''Полусистема Туэ''' (англ. ''semi-Thue system'') {{---}} это формальная система, определяемая алфавитом <tex>A</tex> |
и конечным множеством подстановок вида <tex>\alpha_i\rightarrow \beta_i</tex>, где <tex>\alpha_i, \beta_i</tex> — слова из <tex>A</tex>. | и конечным множеством подстановок вида <tex>\alpha_i\rightarrow \beta_i</tex>, где <tex>\alpha_i, \beta_i</tex> — слова из <tex>A</tex>. | ||
}} | }} |