#### Filter Results:

- Full text PDF available (1)

#### Publication Year

1949

1995

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- H Wang
- Proceedings of the National Academy of Sciences…
- 1949

- H WANG
- Proceedings of the National Academy of Sciences…
- 1950

Proof (Lemma 1). By induction on the length of. For jj = 0 or 1 the statement holds by the construction of the next state function. Assume that the statement holds for jj = k. Forjj = k + 1 , let = , where jj =. Let r be the state of D reached from s on. A state q in t is labelled as \Good" if and only if all of its predecessors in r (all states of N that… (More)

- H Wang
- Proceedings of the National Academy of Sciences…
- 1950

- ‹
- 1
- ›