Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

Semi-Thue system · Vinony

EntityQ1378504· pop 6· linked from 85 articles

Semi-Thue system

Sign in to save

rewriting system over strings from an alphabet

Connections

formal language

regular language

International Standard Book Number

digital object identifier

mathematical logic

binary operation

propositional calculus

equivalence relation

Categories

Formal languages Rewriting systems Theory of computation

Sources

wikipedia.externallinksexternallink

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