Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell Computing and Information Science
  3. Computer Science
  4. Computer Science Technical Reports
  5. String-Matching Cannot be Done by a Two-Head One-Way Deterministic Finite Automaton

String-Matching Cannot be Done by a Two-Head One-Way Deterministic Finite Automaton

File(s)
83-579.ps (228.18 KB)
83-579.pdf (883.41 KB)
Permanent Link(s)
https://hdl.handle.net/1813/6419
Collections
Computer Science Technical Reports
Author
Li, Ming
Yesha, Yaacov
Abstract

We show that string-matching cannot be performed by a two-head one-way deterministic finite automaton (or even by a Turing machine with two one-way input heads and o(n) storage space). Thus we answer the special case $k=2$ of the open question, due to Galil and Seiferas [GS], whether a $k$-head one-way deterministic finite automaton can perform string-matching.

Date Issued
1983-10
Publisher
Cornell University
Keywords
computer science
•
technical report
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR83-579
Type
technical report

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance