Is a dfa a computer?
if yes, why if no, why not
참고 자료도 좋으니..ㅜㅜ
Any DFA is indeed a computer because there exists a TM can that can emulate a given DFA. A definition for "computer" is a TM that can emulate any TM. Read any automata & computation theory textbook. It's all there.
임예진 팬클럽 ♡예진아씨♡ http://cafe.daum.net/imyejin
[예진아씨 피카사 웹앨범] 임예진 팬클럽 ♡예진아씨♡ http://cafe.daum.net/imyejin
컴퓨터의 정의를 universal TM으로 내리는 게... 에에 universal한지는 -_- 잘 모르겠습니다만, 그렇다면
"there exists a DFA that can emulate a given TM"
이어야지만 DFA가 컴퓨터라고 할 수 있죠. 반대로 생각하셨습니다. (참고로 위의 명제는 거짓이죠.)
그래서 the definition 이 아니라 a definition 이라고 한 것이고요, 말씀하신 대로 거짓입니다. 제가 헷갈렸습니다.
DFA is indeed a computer
Any DFA is indeed a computer because there exists a TM can that can emulate a given DFA.
A definition for "computer" is a TM that can emulate any TM.
Read any automata & computation theory textbook. It's all there.
[예진아씨 피카사 웹앨범] 임예진 팬클럽 ♡예진아씨♡ http://cafe.daum.net/imyejin
거꾸로 생각하셨네요, 헷갈리신 듯.
컴퓨터의 정의를 universal TM으로 내리는 게... 에에 universal한지는 -_- 잘 모르겠습니다만, 그렇다면
"there exists a DFA that can emulate a given TM"
이어야지만 DFA가 컴퓨터라고 할 수 있죠. 반대로 생각하셨습니다. (참고로 위의 명제는 거짓이죠.)
그래서 the definition 이
그래서 the definition 이 아니라 a definition 이라고 한 것이고요, 말씀하신 대로 거짓입니다.
제가 헷갈렸습니다.
[예진아씨 피카사 웹앨범] 임예진 팬클럽 ♡예진아씨♡ http://cafe.daum.net/imyejin