Изменения
→Эквивалентность двухсчётчиковой машины трёхсчётчиковой
}}
==Эквивалентность <tex>k</tex>-счётчиковой машины двухсчётчиковой машины трёхсчётчиковой ==
{{Лемма
|statement=Для любого <tex>k</tex> и для любой <tex>k</tex>-счётчиковой машины существует эквивалентная ей двухсчётчиковая машина.
