Einführung erweitern um Uhren Uhren Uhren durch x,y,z … aus C repräsentiert nicht negative reelle Zahl VC: Menge der UhrenbelegungUhrenbedingungen Φ ( C ) \Phi(C) Φ(C) An Transitionen: GuardsAn Zu
Ends with b: Ends with 01: 最重要的是要制造“4”和“7”这两个0和1的自循环 这个例子在ppt里出现过 Ends with the same letters: Finite language: all-rejuct state 我理解的意思是:只有这三种路径能接受 所以一定要把其他的线全部接到其他state去