HomeIsabelle/Phabricator

added transition acceptance automata

Description

added transition acceptance automata

Details

Committed
Julian Brunner <julianbrunner@gmail.com>Mon, Feb 10, 11:44 PM
Parents
rAFPd00ccc5a880c: adjusted acceptance conditions
Branches
Unknown
Tags
Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFPcf50bd1f5626: added transition acceptance automata.Mon, Feb 10, 11:44 PM