<?xml version="1.0" encoding="utf-8"?>
<export-example>
  <doc>
    <id>15624</id>
    <completedYear/>
    <publishedYear>2015</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>85</pageFirst>
    <pageLast>98</pageLast>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume>Vol.  591</volume>
    <type>articler</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>2016-04-19</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">Generalized finite automata over real and complex numbers</title>
    <abstract language="eng">In a recent work, Gandhi, Khoussainov, and Liu [7] introduced and studied a generalized model of finite automata able to work over arbitrary structures. As one relevant area of research for this model the authors identify studying such automata over particular structures such as real and algebraically closed fields.&#13;
&#13;
In this paper we start investigations into this direction. We prove several structural results about sets accepted by such automata, and analyze decidability as well as complexity of several classical questions about automata in the new framework. Our results show quite a diverse picture when compared to the well known results for finite automata over finite alphabets.</abstract>
    <parentTitle language="eng">Theoretical Computer Science</parentTitle>
    <identifier type="doi">10.1016/j.tcs.2015.05.001</identifier>
    <identifier type="url">http://www.sciencedirect.com/science/article/pii/S0304397515003928</identifier>
    <identifier type="issn">0304-3975</identifier>
    <enrichment key="BTU">an der BTU erstellt / created at BTU</enrichment>
    <author>
      <firstName>Klaus</firstName>
      <lastName>Meer</lastName>
    </author>
    <submitter>
      <firstName>Klaus</firstName>
      <lastName>Meer</lastName>
    </submitter>
    <author>
      <firstName>Ameen</firstName>
      <lastName>Naif</lastName>
    </author>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Generalized finite automata</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Real and complex number computations</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Decision problems for automata over uncountable structures</value>
    </subject>
    <collection role="institutes" number="1201">FG Theoretische Informatik</collection>
  </doc>
</export-example>
