차이점
이 페이지의 선택한 이전 버전과 현재 버전 사이의 차이점을 보여줍니다.
|
튜링완전 [2010-12-19 03:56] lifthrasiir 시스템 -> 체계. |
튜링완전 [2011-05-30 18:25] (현재) |
||
|---|---|---|---|
| 줄 15: | 줄 15: | ||
| * 많은 [[함수형프로그래밍언어]]는 람다 대수와 동형이다. | * 많은 [[함수형프로그래밍언어]]는 람다 대수와 동형이다. | ||
| * 많은 [[난해한프로그래밍언어]]는 위의 조건을 충족하지 않는데도 튜링 완전하게 설계되곤 한다. (이를테면 [[Muriel]] 같은 것) 따라서 이 동네에서는 튜링 완전하면서도 굉장히 예측 불허인 언어를 설계하는 것이 일반적이다. | * 많은 [[난해한프로그래밍언어]]는 위의 조건을 충족하지 않는데도 튜링 완전하게 설계되곤 한다. (이를테면 [[Muriel]] 같은 것) 따라서 이 동네에서는 튜링 완전하면서도 굉장히 예측 불허인 언어를 설계하는 것이 일반적이다. | ||
| + | |||
| + | 그 밖에 보통 튜링 완전하다고 예상하기 쉽지 않은 것들: | ||
| + | |||
| + | * [[Rule 110]]과 [[라이프게임]]을 포함한 각종 [[셀룰러오토마타]] | ||
| + | * [[마인크래프트]] [[레드스톤]] 회로 (...) | ||
| {{tag>전산학}} | {{tag>전산학}} | ||
저작권자 © 1999–2012 강 성훈. 저작권을 약간 가집니다. | 풉;이 뭐냐고요?