Ambiguity of \(\omega \)-languages of Turing machines
type: Item
instance of: scholarly article
zbMATH Open document ID: 1337.03056
DOI: 10.2168/LMCS-10(3:12)2014
published in: Logical Methods in Computer Science
publication date: 2014-09-05T00:00:00Z
full work available at URL: https://arxiv.org/abs/1209.5669
Mathematics Subject Classification ID: 03D05
Mathematics Subject Classification ID: 03D10
Mathematics Subject Classification ID: 03E15
zbMATH DE Number: 6340403
zbMATH Keywords: formal languages
zbMATH Keywords: infinite words
zbMATH Keywords: Turing machines
zbMATH Keywords: Büchi transition systems
zbMATH Keywords: degrees of ambiguity
zbMATH Keywords: effective descriptive set theory
zbMATH Keywords: models of set theory
author: Olivier Finkel
MaRDI profile type: Publication
arXiv ID: 1209.5669
title: Ambiguity of \(\omega \)-languages of Turing machines
description: scientific article; zbMATH DE number 6340403