Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Semi-Thue system · Vinony

Home
Formal languages
Semi-Thue system

🌐English

English Deutsch Français Polski Português 中文

EntityQ1378504· pop 6· linked from 85 articles

Semi-Thue system

Also known as string rewriting system, SRS

rewriting system over strings from an alphabet

Available in 6 languages

Français
Deutsch
Português
Croatian
Polski

via Wikidata sitelinks · CC0

Connections

Categories

Formal languages Rewriting systems Theory of computation

Sources

wikipedia.externallinksexternallink

formal language

Entity

regular language

International Standard Book Number

digital object identifier

mathematical logic

binary operation

propositional calculus

equivalence relation

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

abstract rewriting system

Entitydist 0.43

Entitydist 0.52

predicate transformer semantics

Entitydist 0.56

transformational grammar

Entitydist 0.56

text simplification

Entitydist 0.58

Entitydist 0.58

Entitydist 0.59

Entitydist 0.60

Entitydist 0.60

Entitydist 0.61

direct–inverse alignment

Entitydist 0.62

semi-structured data

Entitydist 0.62

What links here85 pages

Markov algorithm

theory of computation

monoidal category

sequence mining

longest common subsequence problem

nondeterministic finite automaton

Aho–Corasick algorithm

Hirschberg's algorithm

Boyer–Moore string search algorithm

computability theory

regular expression

Levenshtein distance

ternary search tree

bitap algorithm

Knuth–Morris–Pratt algorithm

Hamming distance

Damerau–Levenshtein distance