State-transition graph S = ( Q, A, , [] )
{"Image DocumentName": "State-transition graph S = ( Q, A, \uf0ae, [] )", "Image ImageDescription": "Finite runs: finRuns(S) \uf0cd Q  Infinite runs: infRuns(S) \uf0cd Q\uf077 Finite traces: finTraces(S) \uf0cd (2A)  Infinite traces: infTraces(S) \uf0cd (2A)\uf077", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}