Non-Deterministic Infinite-State Automaton | Hacker News Reader