Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

context-free_grammars [2012/09/30 14:01]
vkuncak
context-free_grammars [2015/04/21 17:32] (current)
Line 36: Line 36:
 $u \Rightarrow^{*} v$ means $v$ is obtained from $u$ by zero or more $\Rightarrow$ steps $u \Rightarrow^{*} v$ means $v$ is obtained from $u$ by zero or more $\Rightarrow$ steps
  
-\[+\begin{equation*}
   L(G) = \{ w \mid w \in \Sigma^*, \ S \Rightarrow^* w \}   L(G) = \{ w \mid w \in \Sigma^*, \ S \Rightarrow^* w \}
-\]+\end{equation*}
  
 === Shorthands for Writing Context-Free Grammars === === Shorthands for Writing Context-Free Grammars ===
Line 124: Line 124:
   * examples of [[http://​www.elsewhere.org/​pomo/​|using grammars for text generation]]   * examples of [[http://​www.elsewhere.org/​pomo/​|using grammars for text generation]]
   * type "​compiler construction"​ into http://​www.essaygenerator.com   * type "​compiler construction"​ into http://​www.essaygenerator.com
 +
 +"How much responsibility lies with compiler construction?​ We can say that compiler construction deserves all of the attention it gets. It establishes order, provides financial security and it brings the best out in people."​
  
 ===== References ===== ===== References =====
 
context-free_grammars.txt · Last modified: 2015/04/21 17:32 (external edit)
 
© EPFL 2018 - Legal notice