Diffusion afp-devel 48f4dda31dba

Labeled_Transition_Systems and Pushdown_Systems
48f4dda31dba
Actions

Tags

None

Subscribers

None

Description

Labeled_Transition_Systems and Pushdown_Systems

Details

Provenance

Authored on

Parents

rAFPbc0ffc4d5ee2: New entry: Nominal_Myhill_Nerode

Branches

Unknown

Tags

Unknown

Event Timeline

peter_lammich committed rAFP48f4dda31dba: Labeled_Transition_Systems and Pushdown_Systems.Nov 17 2023, 1:35 AM

Changes (17)

Path

Size

Labeled_Transition_Systems

Pushdown_Systems

rAFP48f4dda31dba

thys/Labeled_Transition_Systems/LTS.thy

Loading...

thys/Labeled_Transition_Systems/ROOT

Loading...

thys/Labeled_Transition_Systems/document/root.bib

Loading...

thys/Labeled_Transition_Systems/document/root.tex

Loading...

thys/Pushdown_Systems/Ex.thy

Loading...

thys/Pushdown_Systems/PDS.thy

Loading...

thys/Pushdown_Systems/PDS_Code.thy

Loading...

thys/Pushdown_Systems/P_Automata.thy

Loading...

thys/Pushdown_Systems/ROOT

Loading...

thys/Pushdown_Systems/document/root.bib

Loading...

thys/Pushdown_Systems/document/root.tex

Loading...

thys/ROOTS

Loading...