141
правка
Изменения
м
Язык Итого, язык L лежит в классе <tex>P</tex> тогда и только тогда, когда существует такая детерминированная машина Тьюринга <tex>m</tex>, что:
→Определение: Теперь, мне кажется, что логично написать сюда слово "Итого"
}}
# <tex>m</tex> завершает свою работу за полиномиальное время на любых входных данных
# если на вход машине <tex>m</tex> подать слово <tex>l \in L</tex>, то она допустит его
