Irregular Turing Machine

From BusyBeaverWiki
Revision as of 13:02, 21 February 2026 by Polygon (talk | contribs) (Expanded (text taken from https://discord.com/channels/960643023006490684/960643023530762341/1357307689109028874))
Jump to navigation Jump to search

A Turing machine is irregular if it cannot be decided using regular CTL, which means there is no regular language, closed under TM operations, that approximates the language of the machine and does not include any halting configuration.

Notable examples