Thoughts
About this site
Search
mental health break ,./'"**^^$_---
A linear bounded automata has finite memory; finite states, and so it's possible to check every state and see if it halts in finite time.
Link
11:56 a.m. Aug 28, 2023 UTC-4