Select Code to Download

    (s0)- F ->(s1)- F ->(s2)-[...]
      |         |         |
      +---------+---------+--[...]- T ->(accept)

    sub outer {
        my @funcs = (\&f1, \&f2, \&f3, ...);
...
        
        return ($result);
    }

    sub outer {
        %trans = _get_transition_table();
...
            [...]
        );
    }

    sub caller {
        [yadda yadda]
...
        
        return ([true|false]);
    }