EntityQ176468· pop 12· linked from 65 articlesstate transition systemSign in to saveabstract machine used in the study of computationConnectionsfinite-state machineEntityInternational Standard Book NumberEntitybijectionEntitypower setEntitytheoretical computer scienceEntitybinary relationEntitydirected graphEntitysingletonEntitymodel checkingEntityoperational semanticsEntitystateEntityKripke structureEntityaction languageEntitydiscrete systemEntityternary relationEntitybisimulationEntityTransformation semigroupEntityabstract rewriting systemEntityChristel BaierEntityF-coalgebraEntityCategoriesModels of computation