产生字符串翻转和反转的下推自动机
字母表：0, 1 考虑翻转，翻转每个字符：0 -> 1 1-> 0 因此，如果 w = 0011 则 w-flip = 1100 将反转视为反转顺序的字符 因此，如果 w = 01101 那…
设计一个下推自动机来计算字符数
字母表：a、b、c 我正在尝试定义一个PDA，它接受 a^n b^m c^p : n + p = 2k for some integer k, m = k, and n, m, p, k >= 0 我认为可以接受的一些…
Haskell 中的谓词逻辑
我一直在 Haskell 中使用以下数据结构来表示命题逻辑： data Prop = Pred String | Not Prop | And Prop Prop | Or Prop Prop | Impl Prop Prop | Equ…
