的 "单词" 是指一个原子命题集合的序列 "w"="L"(s),"L"(s),"L"(s)...，也就是定义在字母表2上的一个 ω单词 。由这一定义，仅包含一个初始状态 "i "∈ "I" 的一个Kripke结构可以通过一个单例输入字母表被一个摩尔型有限状态机识别，同时其输出函数为克里普克结构的标号函数。
例子.设原子命题集合 "AP" ={p, q}。p和q可以模任意可以由克里普克结构建模的系统中的布尔命题。右图表示了一个克里普克结构 "M "=("S, I, R, L