http://iet.metastore.ingenta.com
1887

Decidability

Decidability

For access to this article, please select a purchase option:

Buy chapter PDF
$16.00
(plus tax if applicable)
Buy Knowledge Pack
10 chapters for $120.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
Handbook of Mathematical Models for Languages and Computation — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

Recall that algorithms represent procedures that stop on all inputs, so they are formalized by Turing machines (TMs) that also halt on any input strings. In terms of these machines, we investigate the power of problem -deciding algorithms in this chapter. In fact, we restrict our attention only to the algorithmic decidability concerning problems related to the mathematical models discussed earlier in this book.

Chapter Contents:

  • 10.1 Turing deciders
  • 10.2 Decidable problems
  • 10.2.1 Decidable problems for finite automata
  • 10.2.2 Decidable problems for context-free grammars
  • 10.3 Undecidability: diagonalization
  • 10.4 Undecidability: reduction
  • 10.5 Undecidability: a general approach to reduction
  • 10.6 Computational complexity
  • 10.6.1 Time complexity
  • 10.6.2 Space complexity

Inspec keywords: Turing machines

Other keywords: problem -deciding algorithms; Turing machines; input strings; mathematical models

Subjects: Automata theory

Preview this chapter:
Zoom in
Zoomout

Decidability, Page 1 of 2

| /docserver/preview/fulltext/books/pc/pbpc026e/PBPC026E_ch10-1.gif /docserver/preview/fulltext/books/pc/pbpc026e/PBPC026E_ch10-2.gif

Related content

content/books/10.1049/pbpc026e_ch10
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address