Nivat's theorem for pushdown transducers
type: Item
instance of: scholarly article
title: Nivat's theorem for pushdown transducers
zbMATH Open document ID: 0769.68101
DOI: 10.1016/0304-3975(92)90077-S
author: Georg Karner
published in: Theoretical Computer Science
publication date: 1992-09-27T00:00:00Z
Mathematics Subject Classification ID: 68Q70
zbMATH DE Number: 65310
zbMATH Keywords: extended pushdown automaton
zbMATH Keywords: pushdown transducer
zbMATH Keywords: pushdown transition matrix
zbMATH Keywords: Nivat's theorem
MaRDI profile type: Publication
cites work: Optimization of Straight Line Programs
cites work: Q3859267
cites work: Q4079524
cites work: On transductions of formal power series over complete semirings
cites work: Q3027187
cites work: Q3704880
cites work: On the Hurwitz product of formal power series and automata
cites work: Q4155837
cites work: A direct branching algorithm for checking the equivalence of two deterministic pushdown transducers, one of which is real-time strict
full work available at URL: 0304-3975(92)90077-s
OpenAlex ID: W2036725396
description: scientific article; zbMATH DE number 65310