본문으로 건너뛰기
피드

브라우저에서 돌려보는 튜링 머신 시뮬레이터 — turingmachine.io

general 약 2분
vote
0
댓글
북마크

튜링 머신의 정식 정의를 따르는 브라우저 기반 인터랙티브 시뮬레이터. 상태, 심볼, 전이 함수를 직접 정의해서 실행해볼 수 있음.

  • 1

    브라우저에서 바로 실행 가능한 튜링 머신 시뮬레이터

  • 2

    정식 수학적 정의를 충실히 구현

  • 3

    binary increment 등 예제 머신 제공

  • turingmachine.io는 브라우저에서 바로 돌려볼 수 있는 튜링 머신 시뮬레이터임. 상태(state), 심볼, 테이프, 전이 함수를 직접 정의해서 실행해볼 수 있음

  • 튜링 머신의 정식 정의(상태 집합 Q, 시작 상태 q₀, 입력 알파벳 Σ, 테이프 알파벳 Γ, 공백 심볼, 전이 함수 δ)를 따르고 있고, "binary increment" 같은 예제 머신도 제공함

  • 심볼은 1글자로 제한되어 있고, 입력 알파벳 검증은 생략하는 대신 알파벳 정의를 따로 안 해도 되게 단순화했음. 수학적 모델상 무한 테이프지만, 실제로는 한 스텝에 테이프 셀 하나씩만 쓰니까 적당한 입력 크기에서는 충분히 시뮬레이션 가능

  • CS 전공 수업에서 한 번은 보는 개념인데, 직접 전이 함수 써보면서 돌려보면 이해가 훨씬 빠른 종류의 것이라 이런 인터랙티브 도구가 꽤 유용함

CS 기초 개념 중 직접 돌려보면 이해가 빠른 대표적인 것이 튜링 머신임. 교육용으로 유용한 도구.

댓글

댓글

댓글을 불러오는 중...

general

폐쇄된 클라이밋닷거브, 공공 데이터 덕분에 클라이밋닷어스로 되살아나다

미국 정부의 기후 정보 사이트 Climate.gov가 예산 삭감으로 내려간 뒤, 전직 NOAA 관련자들이 Climate.us로 핵심 자료를 복원했어. 15년 넘게 쌓인 기후 지도, 교육 자료, 기후 지표 보고서, 삭제된 제5차 국가기후평가까지 되살린 배경에는 미국 정부 데이터가 법적으로 퍼블릭 도메인이라는 점이 있었어. 다만 운영은 기부에 의존하고 있어, 공공 인프라를 민간이 임시로 떠받치는 불안정한 구조도 같이 드러나.

general

AI 시대에도 인간 관리자가 남는 이유는 결국 ‘책임’ 때문임

생성형 AI가 기업 경영의 많은 판단을 도와도, 인간 관리자의 역할이 사라지지는 않는다는 주장이다. 글은 공감, 검증, 실행, 책임이라는 네 가지 영역에서 AI가 아직 인간 관리자를 대체하기 어렵다고 설명한다.

general

서로 1만 달러 주고받으면 매출 1만 달러? 스타트업 매출 놀이를 비꼰 풍자 사이트

LARP는 창업자끼리 같은 금액을 서로 주고받은 것처럼 장부에 기록해 매출을 만든다는 설정의 풍자 사이트다. 실제 제품, 고객, 현금 이동 없이도 연간 반복 매출(ARR)을 부풀릴 수 있다는 식으로, 스타트업의 매출 인정과 상호 거래 관행을 날카롭게 비꼰다.

general

뱅크오브아메리카, 소버린 클라우드 수요 보고 아이오노스에 매수 의견

뱅크오브아메리카가 유럽 웹 호스팅·도메인 기업 아이오노스에 매수 의견과 목표주가 37유로를 제시했다. 핵심 논리는 중소기업 대상 웹 서비스, AI 업셀링, 소버린 클라우드 수요가 맞물리며 2025년부터 2028년까지 매출과 이익이 성장할 수 있다는 것이다.

general

SDT·KT·스패로우까지, 국내 보안·클라우드·양자 업계 단신 모음

SDT는 양자 클라우드 플랫폼 큐레카에 양자내성암호를 적용하고 CUDA-Q 교육 모듈을 3개 국어로 제공하기로 했다. KT, 스패로우, 매스웍스, 아이씨티케이, 오케스트로 클라우드도 각각 메일보안, 앱 보안, 디지털 트윈, 양자보안, 공공 클라우드 전환 관련 소식을 냈다.