Talk:Unrestricted grammar
From Wikipedia, the free encyclopedia
 |
This article may be too technical for a general audience. Please help improve this article by providing more context and better explanations of technical details to make it more accessible, without removing technical details. See below for more information. |
I believe the following is incorrect. Can someone confirm?
P is a set of production rules of the form 
where α and β are in 
I say this because in this snippet:
If β appears at some position on the second tape, replace β by γ at that point, possibly shifting the symbols on the tape left or right depending on the relative lengths of β and γ (e.g. if β is longer than γ, shift the tape symbols left).
... it looks like α and β are sequences, so not in , but in the set of all finite sequences using letters from the alphabet (I'm not sure the best way to notate this, maybe something from Sequence_space)
Pchiusano 02:49, 26 July 2006 (UTC)
- Yes, you're right; someone must have written without really thinking. Ruakh 13:10, 26 July 2006 (UTC)
