Лабы по мат логике (машины Тьюринга, Поста, нормальные алгорифмы Маркова)
-
Updated
Apr 11, 2021
#
post-machine
Here are 6 public repositories matching this topic...
Simulador de Máquinas de Post desenvolvido para a disciplina de Teoria da Computação (TEC).
-
Updated
Nov 19, 2023 - C++
Post-machine engine for JS/TS on top of turing-machine-js — numbered-instruction programs, subroutines, per-instruction breakpoints, program-counter stepping
nodejs javascript emulator debugger computer-science education automata typescript simulator state-machine npm-package turing-machine mermaid post-machine post-machine-simulator computability
-
Updated
Aug 8, 2026 - TypeScript
online Post Machine emulator on Brython
brython post-machine post-turing post-machine-emulator post-machine-emu post-machine-online post-machine-simulator
-
Updated
Dec 17, 2019 - JavaScript
Interactive in-browser Turing & Post machine playground — write JavaScript against @turing-machine-js/machine and @post-machine-js/machine, or .tmc/.pmc source for the Rust machine-toolchains' TM-1 and PM-1 (WebAssembly), and debug it on an animated tape.
computer-science typescript webassembly svelte web-worker codemirror turing-machine post-machine vite interactive-demo svelte-5
-
Updated
Sep 2, 2026 - TypeScript
cc/as/ld-style toolchains for tape machines, in Rust: pmt for the Post machine PM-1, tmt for the multi-tape Turing machine TM-1 — C-like languages, optimizing compilers, assemblers/disassemblers, linkers, bus-accurate sans-I/O VMs, lint/fmt, LSP and editor plugins. Also in the browser: the mtc-wasm bundle drives the live demo's /tm1 and /pm1 tabs.
toolchain rust cli formatter compiler language-server virtual-machine linker linter assembler disassembler webassembly wasm turing-machine lsp post-machine
-
Updated
Sep 2, 2026 - Rust
Add this topic to your repo
To associate your repository with the post-machine topic, visit your repo's landing page and select "manage topics."