Talk:Dyck language

message: Wouldn't it be much easier to define a Dyck language as one following the grammar:
N →   [ N ] | [ ] N | N [ ] |
I think this is much more readable than the insert/delete notation.
84.58.215.217 19:12, 21 November 2006 (UTC)
thread_title: Better definition

message: I removed the following:
*The Dyck language with two distinct types of parentheses can be recognized in the complexity class TC0.
First, no citation is given.  Second, I believe the statement is incorrect.  Sudborough ("On Deterministic Context-Free Languages, Multihead Automata, and the power of an auxiliary pushdown store", STOC '76: Proceedings of the eighth annual ACM symposium on Theory of computing, pp. 141-148, 1976) showed that the Dyck language on two types of parenthesis is (in some sense) complete for DCFL (the set of all languages log-space reducible to deterministic context-free languages).  If Dyck_2 is solvable in TC^0, then all of DCFL = TC^0, which is not known and indeed not likely to be the case.  —Preceding unsigned comment added by 129.93.165.5 (talk) 18:19, 28 March 2008 (UTC)
thread_title:  Recognition in complexity class [[TC0|TC<sup>0</sup>]] 

message: I do not understand the insert and delete functions. First, I feel like I need to know whether the first character of the string is in position zero or position one. Position one is more natural, but apparently since the domains of the functions include zero the reader should infer from that that the strings begin with position zero. Making this explicit or changing the definitions to first-character-is-in-position-one would be helpful. Second, while for the insert function I can decode the almost-too-brief "inserted into the jth position" into "inserted before the parenthesis in position j" (Two characters will not fit into a single position.), I am unable to decode the delete function's "'[]' deleted from the jth position". Position j holds only one parenthesis, so what does it mean to delete a pair from that position? My inclination is to interpret that as "Delete the parenthesis in position j and then find its matching parenthesis, which could be many positions away to the left or right, and delete that, too.". But that interpretation mismatches the boundary condition "delete(u, j) is undefined if j > |u| − 2". The "2" should be a "1". Any comments before I go in and start messing with the article text? IOLJeff (talk) 21:40, 10 October 2009 (UTC)
thread_title:  clarifying the insert and delete functions 

message: Parentheses are round. The article should either continue to use square brackets and call them "square brackets" or switch to parentheses and continue to call them "parentheses". I prefer parentheses but hesitate to edit in that direction in case the literature conventionally uses square brackets. IOLJeff (talk) 21:50, 10 October 2009 (UTC)
thread_title:  parentheses ( ) versus square brackets [ ] 

message: This article is missing most of the theory of Dyck languages. A good source is: http://planetmath.org/encyclopedia/WellBalanced.html
Also, the Chomsky-Schützenberger theorem referenced is not the correct one (see the discussion of that article). And also, the Chomsky-Schützenberger is about Dyck languages with n types of parentheses for some n, not necesarilly n=2.  — Preceding unsigned comment added by 201.231.234.10 (talk) 06:53, 8 September 2011 (UTC)
thread_title:  Missing Dyck languages with more than one type of parentheses 

message: The given definition using imbalance is only accurate for the Dyck language over 1 pair of brackets. 
If the imbalance is merely the difference between the number of opposite brackets, then you'd consider a b \bar{a} \bar{b} to be a Dyck word as the overall imbalance is positive and is positive for every prefix of the word (and for each type of bracket).
A simple and quite understandable definition, I believe, is as the equivalence class of 1 through the transitive closure of the relation \approx such that u a\bar{a} v \approx uv for each symbol a and every words u,v.
I think the grammar generating the Dyck language is quite simple and helps the understanding too: D \rightarrow \epsilon + DD + a D \bar{a} as it points out that every Dyck word is obtained by concatenating two Dyck words or surrounding one with opposite brackets.  — Preceding unsigned comment added by Mak4wiki (talk • contribs) 12:43, 3 October 2016 (UTC)
thread_title:  Better definition for n ≥ 1 

message: Can we get a discussion on switching to parens from the current square brackets? The various example strings given look like incomprehensible vertical lines and boxes in some fonts. 72.70.58.29 (talk) 18:10, 14 August 2017 (UTC)
replies: text: I totally agree. The choice of character is arbitrary, and using parentheses would substantially improve readability. 148.88.169.37 (talk) 13:29, 22 January 2018 (UTC)
thread_title:  Really hard to read with square brackets.