0
Anonymous
They are veery similar - instead of atomic propositions automatons have letters and they appear on the edges rather than in the states. Plus automatons have accepting states which kripke structures don't.
Wiki User
Chat with our AI personalities
A kripke structure is made up of 5 elements. States (S), a relation between states (R) that tells which two states are connected by an edge, Atomic propositions (AP), a function L that maps atomic propositions to states, and initial states.