PrintForm
Definitions
myhill
nerode
Sections
AutomataTheory
Doc
At:
bool
listify
1
1
1
1
1
1.
T:
Type
2.
f:
T
3.
n:
4.
f1:
n
T
5.
Bij(
n; T; f1)
6.
0
n
7.
t:
T
8.
mem_f(T;t;nil)
f(t)
By:
Reduce -1
Generated subgoals:
None
About:
nTn; T; f1)
n
f(t)
