Diffusion afp-devel 49e0ab592007

generalized deterministic acceptance test
49e0ab592007
Actions

Tags

None

Subscribers

None

Description

generalized deterministic acceptance test

Details

Provenance

Julian Brunner <julianbrunner@gmail.com>

Authored on

Parents

rAFPfe4bf27391fd: generalized degeneralization

Branches

Unknown

Tags

Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFP49e0ab592007: generalized deterministic acceptance test.Feb 8 2020, 10:01 PM

Changes (10)

Path

Size

thys/

Transition_Systems_and_Automata/

Automata/

DBA/

DBA_Combine.thy

DCA/

DCA_Combine.thy

DRA/

DRA_Combine.thy

Deterministic.thy

Nondeterministic.thy

rAFP49e0ab592007

thys/Transition_Systems_and_Automata/Automata/DBA/DBA.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DBA/DBA_Combine.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DBA/DGBA.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DCA/DCA.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DCA/DCA_Combine.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DCA/DGCA.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DRA/DRA.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DRA/DRA_Combine.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/Deterministic.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/Nondeterministic.thy

Loading...