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