This is the
talk page for discussing improvements to the
Semi-Thue system article. This is
not a forum for general discussion of the article's subject.
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of
mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join
the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of
Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join
the discussion and see a list of open tasks.Computer scienceWikipedia:WikiProject Computer scienceTemplate:WikiProject Computer scienceComputer science articles
This article is within the scope of WikiProject Russia, a
WikiProject dedicated to coverage of
Russia on Wikipedia. To participate: Feel free to edit the article attached to this page, join up at the
project page, or contribute to the
project discussion.RussiaWikipedia:WikiProject RussiaTemplate:WikiProject RussiaRussia articles
This article has been given a rating which conflicts with the
project-independent quality rating in the banner shell. Please resolve this conflict if possible.
This article is within the scope of WikiProject United States, a collaborative effort to improve the coverage of topics relating to the
United States of America on Wikipedia. If you would like to participate, please visit the project page, where you can join the ongoing discussions.
This article has been given a rating which conflicts with the
project-independent quality rating in the banner shell. Please resolve this conflict if possible.
Give two example at the begining: some simple game (e.g.
MU puzzle) that requires no algebra to understand, and a more serious motivating example of some word problem, although there is one of those in the monoid presentation section. But we really need a page on
equational logic to properly motivate the 2nd example, i.e. Birkhoff's (1935) theorem that equational logic is complete.
Discuss the algorithm for computing normal forms for a finite SRS.
What does the prefix Semi mean here? Is there a Thue system that's non-semi?
Semi means half.
—The preceding
unsigned comment was added by
15.251.169.70 (
talk •
contribs) .
A "Thue system" is a Semi-Thue system that is symmetric (either because for each X->Y you also have Y->X in the system, or because you define the system to allow applications of rules in both directions). Very often the term "Thue system" is also used for Semi-Thue system, as most interesting properties are very similar.--
Stephan Schulz20:27, 13 July 2006 (UTC)reply
What is it?
I read the article, but I still don't really understand what a Semi-Thue system is. Can someone de-jargonify and/or expand the the definition in the intro? Perhaps create a small example for the layman and explain how it differs from other string rewriting systems? Thanks. (I added a "cleanup-jargon" tag to the article for now.) --
HiEv10:21, 8 October 2007 (UTC)reply
Obviously... ?
"Obviously R is a subset of . "
I would argue that it would be the other way around, i.e., that . The reason for that being the existence restriction on . Please confirm and correct, including the removal of "obvious", or, correct me here if I am missing something?
145.15.244.32 (
talk)
18:50, 2 June 2017 (UTC)reply
The assertion that a quantum version of a semi-Thue system has to have all rules in both directions is dubious. The quantum requirement for reversibility (or unitarity, if one considers the operators acting on the quantum state) is that information is not destroyed, neither arbitrarily introduced, but a computation may still have distinguished forward and backward directions; going forward through a
full adderquantum gate array is not the same as going backward through it. An assertion that the system is Thue rather comes very close to saying that every rewrite step has to be its own inverse, which seems to make it rather useless.
It would perhaps help if it was clarified how this quantum version of (semi-)Thue systems is supposed to deal with potential nondeterminism of the classical concept.
130.243.94.123 (
talk)
14:36, 9 September 2022 (UTC)reply