is mentioned by
Thm* ![]() ![]() ![]() ![]() ![]() ![]() | [member_st_app1] |
Def eq_relname(a;b) == Case(a) Case eq(x) = > Case(b) Case eq(x') = > st_eq(x;x') Case x' = > false![]() ![]() ![]() ![]() ![]() ![]() | [eq_relname] |
Def st_app1(s1;s2) == Case(s1) Case a;b = > if st_eq(a;s2)![]() | [st_app1] |
In prior sections: mb automata 1
Try larger context:
GenAutomata