假设有一台机器，有限自动机，它有一个含有多个状态的集合Q，和字母表{0,1}，这个有限自动机能表示的形式语言需要通过Q和字母表的笛卡尔积来确定（自定义）。
字母表中的元素组合起来能构成语言，比如101、010。
