The terms are semantically loaded and seem to ambiguous to easily define them via first principles. “Class of systems that can be described via finite state automata” seems more elegant

→ View original post on X — @plinz