Across
- 2. return a 1
- 5. TM part, old style
- 9. moves without input
- 11. the nondeterministic man
- 13. doubly confined
- 14. (this)*technically
- 16. two (or one?) classes
- 18. a property of anything finite
- 24. set size
- 25. bar operation
- 26. map from A to B
- 28. loopless and branchless
- 29. meta
- 34. they SAT first
- 37. main complexity concern
- 40. alan, of the machine
- 42. step sequence
- 43. alphabet unit
- 45. move between states
- 47. functional injection
- 48. modern machine memory
Down
- 1. key np complete problem
- 3. states with two borders
- 4. circuit circle
- 6. complete snake
- 7. he devised diagonalization
- 8. animal busy writing 1s
- 10. way from NFA to DFA
- 11. first rung of the infinite ladder, so to speak
- 12. nate's layered recipe
- 15. mcgyver's method
- 17. sweet syntax
- 19. submission stylizer
- 20. most properties, per Rice
- 21. starman
- 22. 10,000 domino creation
- 23. it comes in many sizes
- 27. this or that ... NOT!
- 30. one gate to rule them all
- 31. nate's gates
- 32. EVAL's aim
- 33. second base
- 35. mathematical dominoes
- 36. 1 or 1000001, e.g.
- 38. machine of all trades
- 39. matter of behavior
- 41. a case of logic
- 42. "... nine nine nine nine ... " asker
- 44. network
- 46. 0 may or may not be this