@VictorTaelin If you have a system that provably must terminate, what "interesting" statements are you unable to express? And what can only be stated in restricted form?

Source

• URL: https://x.com/donalfellows/status/2073475168328896550
• Author: Donal Fellows (@donalfellows)
• Posted: 2026-07-04 18:32:58

Branch

1/ @donalfellows

@VictorTaelin

If you have a system that provably must terminate, what “interesting” statements are you unable to express? And what can only be stated in restricted form?

Also, ω-regular languages (and related state machines) allow an escape hatch. Useful for servers.

Related

• Spine: 2026-07-04-sighs