Context-sensitive language: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>David Eppstein
→Computational properties: supply requested citations
 
en>Download
m →Examples: cleanup and gen fixes using AWB
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
In [[theoretical computer science]], a '''context-sensitive language''' is a [[formal language]] that can be defined by a [[context-sensitive grammar]].  That is one of the four types of grammars in the [[Chomsky hierarchy]].
Für  wie es betrifft  Download  audio    Ich kann Ausschau nach  ? Gibt es irgendetwas    bestimmte  I  müssen herausfinden,  bis  gewährleisten  Ich bin    tut sicher  und  sowohl  rechts ?  Um  Studie  alles über ,   Fach  befindet  unten einfach  für Sie habe sein  bereit  von uns .<br><br>Eine hervorragende  Hinweis bis  betrachten  wenn man  Zugriff  Musik  wird  zu organisieren  audio  in zu a    Verzeichnis    A good  tip  bis  erwägen  , wenn -Sie  Installation  audio  wird  verwalten  die Musik  bekommen  in zu a Ordner  cool  . Du nicht    bis  verlieren  eine der    , dass man einfach    kaufte  und  bezahlten  für . Es ist wichtig  , wenn Sie wollen    Sie können  einfach  , dass man einfach    it  angeordnet    .<br><br>mit Antivirus- Software  Anwendung auf Ihrem Computer PC  wichtig  if  bekommen  Audio  weniger bekannten  Websites  .  Anwendung  konnte  schützen  verteidigen Sie  .  Stellen Sie sicher    es  derzeit  Arbeits  jederzeit  Sie wählen zu erhalten  Songs und immer sicher sein bis halten  es aktualisiert zu .<br><br>sorgen  der audio  Bedarf    in  passt downloaden regelmäßige Budget, betrachten  Verwendung  a [http://Search.usa.gov/search?query=Website Website] , dass  Kosten  a  Anmeldung  Kosten  ,  als Gebühr für jedes  jedes einzelne  herunterladen .  Sie können  die genaue  präzise  Menge  Bargeld    verstehen , dass Sie  Volumen  Wunschliste  bis  widmen  Pakete  jeden Monat  .<br><br>Wählen Sie    ist klug . Dies kann  oft  ist Ihr Schlüssel zu bekommen    audio  Bedarf  .   Sprechen Sie mit mit Menschen zu kommunizieren und zu lesen    up -on  Meinungen  lernen bis bekommen    feinsten  Beratung  in Anzug Sie .  Versuchen Sie  Empfehlungen  von  verschiedene  Leute bis sicherstellen  , dass Sie gerade  nicht  Anwendung  einem bestimmten  Unternehmen .<br><br>Bei  erhalten  Ihre Musik  über iTunes , bezahlen  die extra  Einkommen  für iTunes Spiel  ($ 25 pro Jahr  per- year ) . Audio  Support  Ihre gesamte  Sammlung  im Netz  - nur  Titel  Sie haben  erhalten  [http://search.About.com/?q=bestellt bestellt] . ITunes  Fit    Anzüge    mit einer Wolke  Typ  und  spricht über  Ihre  Titel  . Es ist  ein effektiver Weg, um  Verbesserung  zentriert  audio  Katalog  .<br><br>Viele  Künstler  stellen ihre eigenen    audio  zum Download bis zu einem Dollar unter  ein-Dollar- pro  Spur  . Diese kann  a  guter Weg    von Regie  Gewinn  wieder zu  Darsteller  an Stelle von  in eine  dritten  Lieferanten  und  Replik  von  der  Melodie  . Der Künstler  Handwerker  bezahlt bekommt  vollständig  für seine Arbeit  und  Sie  holen Sie sich  a  große  Melodie  .<br><br>Wenn Sie  Zugriff  Audio  a   Website  verwalten  Chance  zu bekommen  einem Virus  auf  PC  .   Überprüfen  der Größe  der  Dokument  ,  vor dem Download  . Obwohl  Rekord  könnte    bescheidene  ,  die meisten  variieren von  - 5MB .   Hände weg  Als  könnte eine Textdatei sein  Bericht , wenn  deutlich weniger als 250KB  . Die meisten  Infektionen    gegeben durch  kodiert  Dokumente , die in böser Absicht  waren .<br><br>Damit Sie  erzeugen  sich  a  Griff  von  Thema  Sie haben, lesen Sie diese  informativen Artikel  vollständig  . Jetzt    wie  , wenn Sie  setzen  es verwenden  einfach  müssen  Diskutieren  Informationen  Globus , . Achten Sie darauf,  ermöglichen  andere wissen  verstehen , was Sie wissen    verstehen , so dass  konnte  Gewinn  zu  .<br><br>If you have any questions relating to where and ways to make use of radio flyer 4 in 1 trike costco ([http://comercioeletronico.org.br/wiki/index.php?title=Hints_And_Tips_On_Music_Online click the following internet site]), you can contact us at our own web-site.
 
== Computational properties ==
 
Computationally, a context-sensitive language is equivalent with a linear bounded [[nondeterministic Turing machine]], also called a [[linear bounded automaton]]. That is a non-deterministic Turing machine with a tape of only ''kn'' cells, where ''n'' is the size of the input and ''k'' is a constant associated with the machine. This means that every formal language that can be decided by such a machine is a context-sensitive language, and every context-sensitive language can be decided by such a machine.
 
This set of languages is also known as '''NLINSPACE''' or '''NSPACE'''(''O''(''n'')), because they can be accepted using linear space on a non-deterministic Turing machine.<ref>{{citation
  | last = Rothe | first = Jörg
  | isbn = 978-3-540-22147-0
  | location = Berlin
  | mr = 2164257
  | page = 77
  | publisher = Springer-Verlag
  | series = Texts in Theoretical Computer Science. An EATCS Series
  | title = Complexity theory and cryptology
  | year = 2005}}.</ref>  The class '''LINSPACE''' (or '''DSPACE'''(''O''(''n''))) is defined the same, except using a [[Deterministic automaton|deterministic]] Turing machine.  Clearly '''LINSPACE''' is a subset of '''NLINSPACE''', but it is not known whether '''LINSPACE'''='''NLINSPACE'''.<ref>{{citation
  | last = Odifreddi | first = P. G.
  | isbn = 0-444-50205-X
  | location = Amsterdam
  | mr = 1718169
  | page = 236
  | publisher = North-Holland Publishing Co.
  | series = Studies in Logic and the Foundations of Mathematics
  | title = Classical recursion theory. Vol. II
  | volume = 143
  | year = 1999}}.</ref>
 
== Examples ==
 
One of the simplest context-sensitive languages is <math>L = \{ a^nb^nc^n : n \ge 1 \}</math>: the language of all strings consisting of ''n'' occurrences of the symbol "a", then ''n'' "b"'s, then ''n'' "c"'s (abc, aabbcc, aaabbbccc, etc.). A superset of this language, called the Bach language,<ref>{{cite conference |last=Pullum |first=Geoffrey K. |year=1983 |title=Context-freeness and the computer processing of human languages |conference=Proc. 21st Annual Meeting of the [[Association for Computational Linguistics|ACL]] |date=1983}}</ref> is defined as the set of all strings where "a", "b" and "c" (or any other set of three symbols) occurs equally often (aabccb, baabcaccb, etc.) and is also context-sensitive.<ref>Bach, E. (1981). [http://people.umass.edu/ebach/papers/nels11.htm "Discontinuous constituents in generalized categorial grammars"]. ''NELS'', vol. 11, pp.&nbsp;1&ndash;12.</ref><ref>Joshi, A.; Vijay-Shanker, K.; and Weir, D. (1991). "The convergence of mildly context-sensitive grammar formalisms". In: Sells, P., Shieber, S.M. and Wasow, T. (Editors). ''Foundational Issues in Natural Language Processing''. Cambridge MA: Bradford.</ref>
 
Another example of a context-sensitive language that is not context-free is ''L'' = { ''a<sup>p</sup>'' : ''p'' is a [[prime number]] }. ''L'' can be shown to be a context-sensitive language by constructing a linear bounded automaton which accepts ''L''. The language can easily be shown to be neither [[regular language|regular]] nor [[context-free language|context free]] by applying the respective [[pumping lemma]]s for each of the language classes to ''L''.
 
An example of [[recursive language]] that is not context-sensitive is any recursive language whose decision is an [[EXPSPACE]]-hard problem, say, the set of pairs of equivalent [[regular expression]]s with exponentiation.
 
== Properties of context-sensitive languages ==
 
* The union, intersection, concatenation and [[Kleene star]] of two context-sensitive languages is context-sensitive.<ref>{{cite book|authors=John E. Hopcroft, Jeffrey D. Ullman|title=Introduction to Automata Theory, Languages, and Computation|publisher=Addison-Wesley|year=1979}}; Exercise 9.10, p.230. In the 2003 edition, the chapter on CSL has been omitted.</ref>
* The complement of a context-sensitive language is itself context-sensitive<ref>{{cite journal | last = Immerman | first = Neil | year = 1988 | title =Nondeterministic space is closed under complementation | journal = SIAM J. Comput. | issue = 5 | pages = 935–938 | doi = 10.1137/0217058 | volume = 17 | url=http://www.cs.umass.edu/~immerman/pub/space.pdf }}</ref>
* Every [[context-free grammar|context-free]] language not containing the empty string is context-sensitive.<ref>(Hopcroft, Ullman, 1979); Theorem 9.9 b, p.228</ref>
* Membership of a string in a language defined by an arbitrary context-sensitive grammar, or by an arbitrary deterministic context-sensitive grammar, is a [[PSPACE-complete]] problem.
 
==See also==
* [[Linear bounded automaton]]
* [[Chomsky hierarchy]]
* [[Noncontracting grammar]]s – generate exactly the context-sensitive languages
* [[Indexed language]]s – a strict subset of the context-sensitive languages
 
==References==
{{reflist}}
* Sipser, M. (1996), ''Introduction to the Theory of Computation'', PWS Publishing Co.
 
{{Formal languages and grammars}}
 
{{DEFAULTSORT:Context-Sensitive Language}}
[[Category:Formal languages]]

Latest revision as of 09:06, 1 December 2014

Für wie es betrifft Download audio Ich kann Ausschau nach  ? Gibt es irgendetwas bestimmte I müssen herausfinden, bis gewährleisten Ich bin tut sicher und sowohl rechts ? Um Studie alles über , Fach befindet unten einfach für Sie habe sein bereit von uns .

Eine hervorragende Hinweis bis betrachten wenn man Zugriff Musik wird zu organisieren audio in zu a Verzeichnis A good tip bis erwägen , wenn -Sie Installation audio wird verwalten die Musik bekommen in zu a Ordner cool . Du nicht bis verlieren eine der , dass man einfach kaufte und bezahlten für . Es ist wichtig , wenn Sie wollen Sie können einfach , dass man einfach it angeordnet .

mit Antivirus- Software Anwendung auf Ihrem Computer PC wichtig if bekommen Audio weniger bekannten Websites . Anwendung konnte schützen verteidigen Sie . Stellen Sie sicher es derzeit Arbeits jederzeit Sie wählen zu erhalten Songs und immer sicher sein bis halten es aktualisiert zu .

sorgen der audio Bedarf in passt downloaden regelmäßige Budget, betrachten Verwendung a Website , dass Kosten a Anmeldung Kosten , als Gebühr für jedes jedes einzelne herunterladen . Sie können die genaue präzise Menge Bargeld verstehen , dass Sie Volumen Wunschliste bis widmen Pakete jeden Monat .

Wählen Sie ist klug . Dies kann oft ist Ihr Schlüssel zu bekommen audio Bedarf . Sprechen Sie mit mit Menschen zu kommunizieren und zu lesen up -on Meinungen lernen bis bekommen feinsten Beratung in Anzug Sie . Versuchen Sie Empfehlungen von verschiedene Leute bis sicherstellen , dass Sie gerade nicht Anwendung einem bestimmten Unternehmen .

Bei erhalten Ihre Musik über iTunes , bezahlen die extra Einkommen für iTunes Spiel ($ 25 pro Jahr per- year ) . Audio Support Ihre gesamte Sammlung im Netz - nur Titel Sie haben erhalten bestellt . ITunes Fit Anzüge mit einer Wolke Typ und spricht über Ihre Titel . Es ist ein effektiver Weg, um Verbesserung zentriert audio Katalog .

Viele Künstler stellen ihre eigenen audio zum Download bis zu einem Dollar unter ein-Dollar- pro Spur . Diese kann a guter Weg von Regie Gewinn wieder zu Darsteller an Stelle von in eine dritten Lieferanten und Replik von der Melodie . Der Künstler Handwerker bezahlt bekommt vollständig für seine Arbeit und Sie holen Sie sich a große Melodie .

Wenn Sie Zugriff Audio a Website verwalten Chance zu bekommen einem Virus auf PC . Überprüfen der Größe der Dokument , vor dem Download . Obwohl Rekord könnte bescheidene , die meisten variieren von - 5MB . Hände weg Als könnte eine Textdatei sein Bericht , wenn deutlich weniger als 250KB . Die meisten Infektionen gegeben durch kodiert Dokumente , die in böser Absicht waren .

Damit Sie erzeugen sich a Griff von Thema Sie haben, lesen Sie diese informativen Artikel vollständig . Jetzt wie , wenn Sie setzen es verwenden einfach müssen Diskutieren Informationen Globus , . Achten Sie darauf, ermöglichen andere wissen verstehen , was Sie wissen verstehen , so dass konnte Gewinn zu .

If you have any questions relating to where and ways to make use of radio flyer 4 in 1 trike costco (click the following internet site), you can contact us at our own web-site.

Retrieved from "https://en.formulasearchengine.com/index.php?title=Context-sensitive_language&oldid=284121"