<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//TaxonX//DTD Taxonomic Treatment Publishing DTD v0 20100105//EN" "../../nlm/tax-treatment-NS0.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:tp="http://www.plazi.org/taxpub" article-type="research-article" dtd-version="3.0" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">109</journal-id>
      <journal-id journal-id-type="index">urn:lsid:arphahub.com:pub:3dc5f44e-8666-58db-bc76-a455210e8891</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">JUCS - Journal of Universal Computer Science</journal-title>
        <abbrev-journal-title xml:lang="en">jucs</abbrev-journal-title>
      </journal-title-group>
      <issn pub-type="ppub">0948-695X</issn>
      <issn pub-type="epub">0948-6968</issn>
      <publisher>
        <publisher-name>Journal of Universal Computer Science</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.3217/jucs-021-07-0891</article-id>
      <article-id pub-id-type="publisher-id">23337</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>F.2 - ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY</subject>
          <subject>F.4.2 - Grammars and Other Rewriting Systems</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Naive Infinite Enumeration of Context-free Languages in Incremental Polynomial Time</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Florêncio</surname>
            <given-names>Christophe Costa</given-names>
          </name>
          <email xlink:type="simple">chris.costaflorencio@cs.kuleuven.be</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Daenen</surname>
            <given-names>Jonny</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Ramon</surname>
            <given-names>Jan</given-names>
          </name>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Bussche</surname>
            <given-names>Jan Van den</given-names>
          </name>
          <xref ref-type="aff" rid="A2">2</xref>
        </contrib>
        <contrib contrib-type="author" corresp="no">
          <name name-style="western">
            <surname>Dyck</surname>
            <given-names>Dries Van</given-names>
          </name>
          <xref ref-type="aff" rid="A3">3</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">KU Leuven, Leuven, Belgium</addr-line>
        <institution>KU Leuven</institution>
        <addr-line content-type="city">Leuven</addr-line>
        <country>Belgium</country>
      </aff>
      <aff id="A2">
        <label>2</label>
        <addr-line content-type="verbatim">Hasselt University and Transnational University of Limburg, Limburg, Belgium</addr-line>
        <institution>Hasselt University and Transnational University of Limburg</institution>
        <addr-line content-type="city">Limburg</addr-line>
        <country>Belgium</country>
      </aff>
      <aff id="A3">
        <label>3</label>
        <addr-line content-type="verbatim">Belgian Nuclear Research Centre (SCK-CEN), Mol, Belgium</addr-line>
        <institution>Belgian Nuclear Research Centre (SCK-CEN)</institution>
        <addr-line content-type="city">Mol</addr-line>
        <country>Belgium</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Christophe Costa Florêncio (<email xlink:type="simple">chris.costaflorencio@cs.kuleuven.be</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2015</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>01</day>
        <month>07</month>
        <year>2015</year>
      </pub-date>
      <volume>21</volume>
      <issue>7</issue>
      <fpage>891</fpage>
      <lpage>911</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/B5824AE5-3C76-5588-AC13-23A59361B39A">B5824AE5-3C76-5588-AC13-23A59361B39A</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/5505323">5505323</uri>
      <history>
        <date date-type="received">
          <day>14</day>
          <month>02</month>
          <year>2014</year>
        </date>
        <date date-type="accepted">
          <day>19</day>
          <month>05</month>
          <year>2015</year>
        </date>
      </history>
      <permissions>
        <copyright-statement>Christophe Costa Florêncio, Jonny Daenen, Jan Ramon, Jan Van den Bussche, Dries Van Dyck</copyright-statement>
        <license license-type="creative-commons-attribution" xlink:href="" xlink:type="simple">
          <license-p>This article is freely available under the J.UCS Open Content License.</license-p>
        </license>
      </permissions>
      <abstract>
        <label>Abstract</label>
        <p>We consider the naive bottom-up concatenation scheme for a context-free language and show that this scheme has the incremental polynomial time property. This means that all members of the language can be enumerated without duplicates so that the time between two consecutive outputs is bounded by a polynomial in the number of strings already generated.</p>
      </abstract>
    </article-meta>
  </front>
</article>
