×

Found 180 Documents (Results 1–100)

Languages and grammar. (English) Zbl 1403.68112

Gudivada, Venkat N. (ed.) et al., Computational analysis and understanding of natural languages: principles, methods and applications. Amsterdam: Elsevier/North Holland (ISBN 978-0-444-64042-0/hbk; 978-0-444-64043-7/ebook). Handbook of Statistics 38, 15-29 (2018).
MSC:  68Q45 68Q42 91F20
PDF BibTeX XML Cite
Full Text: DOI

Word equations in nondeterministic linear space. (English) Zbl 1442.68094

Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 95, 13 p. (2017).
MSC:  68Q45 68Q25 68Q42
PDF BibTeX XML Cite
Full Text: DOI arXiv

A perfect class of context-sensitive timed languages. (English) Zbl 1436.68161

Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9840, 38-50 (2016).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Summary-based context-sensitive data-dependence analysis in presence of callbacks. (English) Zbl 1346.68066

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 83-95 (2015).
MSC:  68N30 68Q25 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Duplications and pseudo-duplications. (English) Zbl 1465.68081

Calude, S. (ed.) et al., Unconventional computation and natural computation. 14th international conference, UCNC 2015, Auckland, New Zealand, August 30 – September 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9252, 157-168 (2015).
MSC:  68Q07 68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Stochastic \(k\)-tree grammar and its application in biomolecular structure modeling. (English) Zbl 1407.68239

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 8th international conference, LATA 2014, Madrid, Spain, March 10–14, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8370, 308-322 (2014).
PDF BibTeX XML Cite
Full Text: DOI

On IO-copying and mildly-context sensitive formalisms. (English) Zbl 1362.68130

Morrill, Glyn (ed.) et al., Formal grammar. 17th and 18th international conferences, FG 2012, Opole, Poland, August 2012, revised selected papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39997-8/pbk). Lecture Notes in Computer Science 8036, 1-16 (2013).
MSC:  68Q45 68Q42 91F20
PDF BibTeX XML Cite
Full Text: DOI HAL

Control languages associated with tissue P systems. (English) Zbl 1381.68089

Mauri, Giancarlo (ed.) et al., Unconventional computation and natural computation. 12th international conference, UCNC 2013, Milan, Italy, July 1–5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39073-9/pbk). Lecture Notes in Computer Science 7956, 186-197 (2013).
MSC:  68Q05 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Eliminating stack symbols in push-down automata and linear indexed grammars. (English) Zbl 1377.68117

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 7th international conference, LATA 2013, Bilbao, Spain, April 2–5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37063-2/pbk). Lecture Notes in Computer Science 7810, 444-455 (2013).
MSC:  68Q45 68Q42
PDF BibTeX XML Cite
Full Text: DOI

On centralized PC grammar systems with context-sensitive components. (English) Zbl 1370.68187

Yen, Hsu-Chun (ed.) et al., Developments in language theory. 16th international conference, DLT 2012, Taipei, Taiwan, August 14–17, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31652-4/pbk). Lecture Notes in Computer Science 7410, 356-367 (2012).
MSC:  68Q45 68Q15 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Strict local testability with consensus equals regularity. (English) Zbl 1297.68118

Moreira, Nelma (ed.) et al., Implementation and application of automata. 17th international conference, CIAA 2012, Porto, Portugal, July 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31605-0/pbk). Lecture Notes in Computer Science 7381, 113-124 (2012).
MSC:  68Q45 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Semantics and algorithms for data-dependent grammars. (English) Zbl 1312.68115

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 417-430 (2010).
MSC:  68Q42 68N20 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Derivation trees for context-sensitive grammars. (English) Zbl 1264.68095

Ito, Masami (ed.) et al., Automata, formal languages and algebraic systems. Proceedings of AFLAS 2008, Kyoto, Japan, September 20–22, 2008. Hackensack, NJ: World Scientific (ISBN 978-981-4317-60-3/hbk; 978-981-4317-61-0/ebook). 179-199 (2010).
MSC:  68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Conditional grammars with commutative, circular and locally testable conditions. (English) Zbl 1183.68324

Ésik, Zoltán (ed.) et al., Automata, formal languages, and related topics. Dedicated to Ferenc Gécseg on the occasion of his 70th birthday. Szeged: Institute of Informatics, University of Szeged (ISBN 978-963-482-916-4/pbk). 27-37 (2009).
MSC:  68Q42
PDF BibTeX XML Cite

The complexity of tree transducer output languages. (English) Zbl 1248.68205

Hariharan, Ramesh (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2008), December 9–11, 2008, Bangalore, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-08-8). LIPIcs – Leibniz International Proceedings in Informatics 2, 244-255, electronic only (2008).
MSC:  68Q15 68Q45 68Q17
PDF BibTeX XML Cite
Full Text: DOI Link

Learning context-sensitive languages from linear structural information. (English) Zbl 1177.68122

Clark, Alexander (ed.) et al., Grammatical inference: Algorithms and applications. 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88008-0/pbk). Lecture Notes in Computer Science 5278. Lecture Notes in Artificial Intelligence, 175-186 (2008).
MSC:  68Q32 68Q05 68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Proving termination of context-sensitive rewriting with MU-TERM. (English) Zbl 1278.68113

Lucio, Paqui (ed.) et al., Proceedings of the sixth Spanish conference on programming and languages (PROLE 2006), Sitges, Barcelona, Spain, October 4–6, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 188, 105-115 (2007).
MSC:  68Q42 68N15
PDF BibTeX XML Cite
Full Text: DOI

An adaptive error detection-recovery QoS for intelligent context-awareness: AEDRQ. (English) Zbl 1124.68439

Huang, De-Shuang (ed.) et al., Intelligent control and automation. International conference on intelligent computing, ICIC 2006, Kunming, China, August 16–19, 2006. Berlin: Springer (ISBN 3-540-37255-5/pbk). Lecture Notes in Control and Information Sciences 344, 990-999 (2006).
MSC:  68T35 68M15
PDF BibTeX XML Cite

Computation with absolutely no space overhead. (English) Zbl 1037.68060

Ésik, Zoltán (ed.) et al., Developments in language theory. 7th international conference, DLT 2003, Szeged, Hungary, July 7–11, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40434-1/pbk). Lect. Notes Comput. Sci. 2710, 325-336 (2003).
MSC:  68Q05 68Q45
PDF BibTeX XML Cite
Full Text: Link

Contextual grammars with trajectories. (English) Zbl 0978.68074

Rozenberg, Grzegorz (ed.) et al., Developments in language theory. Foundations, applications, and perspectives. Proceedings of the 4th international conference, Aachen, Germany, July 6-9, 1999. Singapore: World Scientific. 362-374 (2000).
MSC:  68Q42 68Q45
PDF BibTeX XML Cite

The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages. (English) Zbl 0908.68089

Nivat, Maurice (ed.), Foundations of software science and computation structures. 1st international conference, FoSSaCS ’98. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1378, 243-257 (1998).
MSC:  68Q45
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software