P
re_
S
tar_
C
F
G
Labeled_Transition_System
LTS_Automata
Pre_Star
Pre_Star_Example
Applications
Applications_Example
Finiteness
Pre_Star_CNF