Embedding finite automata within regular expressions
type: Item
instance of: scholarly article
title: Embedding finite automata within regular expressions
zbMATH Open document ID: 1223.68063
author: Shoham Ben-David
author: Dana Fisman
author: Sitvanit Ruah
published in: Theoretical Computer Science
publication date: 2008-10-07T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5349277
zbMATH Keywords: regular expression
zbMATH Keywords: finite automata
zbMATH Keywords: model checking
zbMATH Keywords: linear translation
zbMATH Keywords: on-the-fly
zbMATH Keywords: embedding
zbMATH Keywords: PSL
describes a project that uses: FoCs
MaRDI profile type: Publication
full work available at URL: j.tcs.2008.03.011
OpenAlex ID: W2089939112
cites work: Q2754115
cites work: Rewriting extended regular expressions
cites work: Hardware and Software, Verification and Testing
cites work: Q4817546
cites work: On the power of bounded concurrency I
cites work: Q4385542
cites work: Q3862379
cites work: Q3141897
cites work: Quantified computation tree logic
cites work: The temporal semantics of concurrent programs
DOI: 10.1016/J.TCS.2008.03.011
description: scientific article; zbMATH DE number 5349277