Лабы по мат логике (машины Тьюринга, Поста, нормальные алгорифмы Маркова)
-
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++
A cc/as/ld-style toolchain family for tape machines, in Rust. Two architectures share one arch-agnostic core: pmt for the Post machine PM-1 and 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.
toolchain rust cli formatter compiler language-server virtual-machine linker linter assembler disassembler turing-machine lsp post-machine
-
Updated
Jul 26, 2026 - Rust
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
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
Jul 6, 2026 - TypeScript
Interactive in-browser Turing & Post machine simulator — write JavaScript, watch your machine execute on an animated tape. Built on @turing-machine-js/machine and @post-machine-js/machine.
computer-science typescript svelte web-worker codemirror turing-machine post-machine vite interactive-demo svelte-5
-
Updated
Jul 26, 2026 - TypeScript
Improve this page
Add a description, image, and links to the post-machine topic page so that developers can more easily learn about it.
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."