5 research outputs found
On the Accepting Power of 2-Tape Büchi Automata
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/2006
- Field of study
The Wadge Hierarchy of Petri Nets ω-Languages
- Author
- A.S. Kechris
- D.A. Martin
- H. Carstensen
- H. Lescow
- J. Duparc
- J. Duparc
- J. Duparc
- J. Engelfriet
- J. Esparza
- K. Wagner
- L. Landweber
- L. Staiger
- L. Staiger
- L. Staiger
- O. Carton
- O. Carton
- O. Finkel
- O. Finkel
- O. Finkel
- O. Finkel
- O. Finkel
- O. Finkel
- O. Finkel
- O. Finkel
- R. Cohen
- R. Valk
- R.M. Naughton
- S. Greibach
- T. Wilke
- V. Selivanov
- V. Selivanov
- V. Selivanov
- V. Selivanov
- V. Selivanov
- W. Sierpiǹski
- Publication venue
- Publication date
- 01/01/2013
- Field of study
We describe the Wadge hierarchy of the ω-languages recognized by deterministic Petri nets. This is an extension of the celebrated Wagner hierarchy which turned out to be the Wadge hierarchy of the ω-regular languages. Petri nets are an improvement of automata. They may be defined as partially blind multi-counter automata. We show that the whole hierarchy has height ω ω2, and give a description of the restrictions of this hierarchy to every fixed number of partially blind counters
Topological Complexity of Context-Free ω-Languages: A Survey
- Author
- A. Andretta
- A. Arnold
- A.S. Kechris
- A.S. Kechris
- B. Cagnard
- D. Beauquier
- D. Lecomte
- D. Mihoubi
- D. Niwinski
- H. Lescow
- I. Walukiewicz
- J. Duparc
- J. Duparc
- J. Duparc
- J. Duparc
- J. Engelfriet
- J.E. Hopcroft
- J.E. Hopcroft
- K. Wagner
- L. Boasson
- L. Boasson
- L. Staiger
- L. Staiger
- L. Staiger
- L. Staiger
- L.H. Landweber
- M. Linna
- M. Linna
- M. Linna
- M. Nivat
- M. Nivat
- M.O. Rabin
- N. Chomshy
- O. Carton
- O. Carton
- O. Finkel
- O. Finkel
- O. Finkel
- O. Finkel
- O. Finkel
- O. Finkel
- O. Finkel
- O. Finkel
- O. Finkel
- O. Finkel
- O. Finkel
- O. Finkel
- O. Finkel
- O. Finkel
- O. Finkel
- O. Serre
- R. Mac Naughton
- R.S. Cohen
- R.S. Cohen
- R.S. Cohen
- S.A. Greibach
- T. Cachat
- T. Cachat
- T. Wilke
- V.L. Selivanov
- V.L. Selivanov
- V.L. Selivanov
- V.L. Selivanov
- W. Thomas
- Y. Choueka
- Y. Choueka
- Y. Choueka
- Y.N. Moschovakis
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 12/03/2013
- Field of study
We survey recent results on the topological complexity of context-free
omega-languages which form the second level of the Chomsky hierarchy of
languages of infinite words. In particular, we consider the Borel hierarchy and
the Wadge hierarchy of non-deterministic or deterministic context-free
omega-languages. We study also decision problems, the links with the notions of
ambiguity and of degrees of ambiguity, and the special case of omega-powers
8. Literatur
- Author
- Ackroyd P. R.
- Albertz R.
- Bartelmus R.
- Baumgartner W.
- Becker J.
- Bedford P. R.
- Ben Zvi E.
- Ben Zvi E.
- Ben Zvi E.
- Ben Zvi E.
- Bergler S.
- Betz H. D.
- Blenkinsopp J.
- Blenkinsopp J.
- Blum E.
- Boehme W.
- Bosshard-Nepustil E.
- Bosshard-Nepustil E.
- Budde K.
- Carter C. E.
- Cathcart K. J.
- Cazelles H.
- Childs B. S.
- Christensen D. L.
- Clements R. E.
- Coggins R. J.
- Collins J. J.
- Cook S. L.
- Cooper A.
- Crenshaw J. L.
- Crenshaw J. L.
- Crüsemann F.
- Crüsemann F.
- Crüsemann F.
- Davies P. R.
- Deissler A.
- Deist F. E.
- Dentan R. C.
- Dietrich W.
- Dietrich W.
- Dietrich W.
- Dohmen C.
- Donner H.
- Donner H.
- Duhm B.
- Duhm B.
- Duhm B.
- Fabry H. J.
- Figal G.
- Floyd M. H.
- Fritz V.
- Gehrke H. J.
- Gerstenberger E. S.
- Gese H.
- Gese H.
- Gesenius W.
- Gillingham S.
- Golka F. W.
- Graf Reventlow H.
- Groß W.
- Gunkel H.
- Haag H.
- Hagstrom D. G.
- Hanson P. D.
- Happel O.
- Haran M.
- Hausmann J.
- Hausmann J.
- Hegermann H.
- Hendel R. S.
- Hengel M.
- Hengel M.
- Hengel M.
- Hieke T.
- Hieke T.
- Hill A. E.
- Hillers D. R.
- Hossfeld F.
- Huwyler B.
- Huwyler B.
- Hölscher G.
- Hübner U.
- Jenni E.
- Jeremias J.
- Jeremias J.
- Jeremias J.
- Jeremias J.
- Jeremias J.
- Jeremias J.
- Josephus
- Kaiser O.
- Kaiser O.
- Kaiser O.
- Kaiser O.
- Kaiser O.
- Kaiser O.
- Kaiser O.
- Kaiser O.
- Kapelrud A. S.
- Keel O.
- Keller C. A.
- Kessler R.
- Knauf E. A.
- Knauf E. A.
- Knauf E. A.
- Koch K.
- Koch K.
- Koch K.
- Koenen K.
- Koenen K.
- Kraeling E. G.
- Kratz R. G.
- Kraus H.
- Krieg M.
- Krüger T.
- Kunz A.
- Lee A. Y.
- Lemche N. P.
- Lescow T.
- Lescow T.
- Lescow T.
- Levin C.
- Lohfink N.
- Loretz O.
- Lux R.
- Madl H.
- Mansoor M.
- Marti K.
- Mason R. A.
- Mathys H.
- Mathys H.
- Mathys H.
- Mays J. L.
- McKane W.
- Meinhold A.
- Meisner N.
- Metzner G.
- Müller K.
- Noth M.
- Oeming M.
- Opgen-Rhein H.
- Otto E.
- Pauritsch K.
- Person R. F.
- Pesch R.
- Petersen D. L.
- Petersen D. L.
- Pohlmann K. F.
- Porten B.
- Preuß H. D.
- Preuß H. D.
- Preuß H. D.
- Prinsloo W. S.
- Redditt P. L.
- Renaud B.
- Renaud B.
- Rendtorff R.
- Rendtorff R.
- Rendtorff R.
- Ringgren H.
- Ringgren H.
- Robinson T. H.
- Rose M.
- Rostovtzeff M. I.
- Rudolph W.
- Rudolph W.
- Rudolph W.
- Sasson J. M.
- Schams C.
- Scharbert J.
- Schart A.
- Schmidt L.
- Schreiner S.
- Schwartz S.
- Sellin E.
- Septuaginta
- Seybold K.
- Seybold K.
- Seybold K.
- Seybold K.
- Seybold K.
- Simon U.
- Smith D. L.
- Smith M.
- Smith M.
- Soggin J. A.
- Sperber A.
- Spieckermann H.
- Spieckermann H.
- Spronk K.
- Spronk K.
- Steck O. H.
- Steck O. H.
- Steck O. H.
- Steck O. H.
- Steck O. H.
- Stoebe H. J.
- Stolz F.
- Stolz F.
- Stolz F.
- Sweeney M. A.
- Utzschneider H.
- Van Leeuwen R. C.
- Vanoni G.
- Weimar P.
- Weimar P.
- Weimar P.
- Weinberg J. P.
- Weinberg J. P.
- Weinberg J. P.
- Weippert M.
- Welten P.
- Westermann C.
- Wildberger H.
- Willi-Plein I.
- Willi-Plein I.
- Williamson H. G.M.
- Willis J. T.
- Willis J. T.
- Witzenrath H. H.
- Wolff H. W.
- Wolff H. W.
- Wolff H. W.
- Wolff H. W.
- Wolff H. W.
- Woude A. S.
- Würthwein E.
- Zapff B. M.
- Zapff B. M.
- Zenger E.
- Zimmerli W.
- Zobel H.
- Publication venue
- 'Vandenhoeck & Ruprecht GmbH & Co, KG'
- Publication date
- Field of study
Literaturverzeichnis
- Author
- ACKERMAN J.S.
- ACKROYD P.R.
- AHARON
- AHARON
- AHLSTRÖM G.W.
- ALBANI M.
- ALBERTZ R.
- ALBRIGHT W.F.
- ALBRIGHT W.F.
- ALBRIGHT W.F.
- ALBRIGHT W.F.
- ALBRIGHT W.F.
- ALBRIGHT W.F.
- ALBRIGHT W.F.
- ALONSO-SCHOKEL L.
- ALT
- ALT
- ALT
- ALTER R.
- AMSLER S.
- ANDERSEN F.I.
- ANDERSON A.A.
- ANNUS
- ASEN B.A.
- ASTOUR M.C.
- AVISHUR Y.
- AXELSSON L.E.
- BAL M.
- BALY D.
- BARRÉ M.L.
- BARRÉ M.L.
- BARTELMUS R.
- BARTELMUS R.
- BARTHÉLMY D.
- BARTLETT J.R.
- BARTLETT J.R.
- BECHMANN U.
- BECKER J.
- BECKER-SPORL S.
- BECKING
- BEDENBENDER
- BEEK M.A.
- BEGG C.
- BELLIS O.
- BENZ F.L.
- BERGES U .
- BEVENOT D.H.
- BEYERLE S.
- BEYERLIN W .
- BIRKELAND H.
- BLCKELL G.
- BLENKINSOPP J.
- BLENKINSOPP J.
- BLMSON J.J.
- BLUM E.
- BLUM E.
- BOLING R.G.
- BORGER R.
- BOSSHARD-NEPUSTIL E.
- BRIGGS C.A.
- BROCKELMANN C.
- BROWNLEE W.H.
- BROWNLEE W.H.
- BUDDE
- BUDDE
- BUDDE
- BUDDE
- BUDDE
- BUDDE
- BURNEY C.F.
- BUTTENWIESER M.
- CALDERONE P.-J.
- CALDERONE P.-J.
- CAQUOT
- CARNITI C.
- CARTER C.E.
- CASPARI W.
- CASSUTO U.
- CAZELLES H.
- CHANEY M.L.
- CHEYNE T.K.
- CHILDS B.S.
- CHRISTENSEN D.L.
- CHRISTENSEN D.L.
- CLEMENTS R.E.
- CONDER C.R.
- CONVILLE J.G.
- COOGAN M.D.
- COPELAND P.E.
- CORNELIUS I.
- COUROYER B.
- CRAIGIE P.C.
- CRAIGIE P.C.
- CRAIGIE P.C.
- CRAIGIE P.C.
- CROSS F.M.
- CROSS F.M.
- CROSS F.M.
- CROSS F.M.
- CROSS F.M.
- CRÜSEMANN F.
- CRÜSEMANN F.
- DAHOOD M.
- DAHOOD M.
- DALMAN G.
- DANGL O.
- DAY J.
- DAY J.
- DEISSLER
- DELCOR M.
- DELITZSCH
- DELITZSCH
- DELITZSCH
- DER
- DER
- DIEBNER J.B.
- DIETRICH W.
- DLCOU B.
- DRIVER G .
- DUHM
- DUHM
- DUHM
- EATON J.H.
- EATON J.H.
- EB
- EBUHR C.
- EDELMAN V.
- EERDMANS B.D.
- EGO
- EGO
- EHRLICH A.B.
- EISSFELDT O.
- EISSFELDT O.
- EISSFELDT O.
- ELLIGER K.
- ELLIGER K.
- EMERTON J .
- ENGBERG R.M.
- ESEHÖFER J.
- EXUM J.C.
- EXUM J.C.
- F.
- FABRY H.-J.
- FISHBANE M.
- FLOYD M .
- FLOYD M .
- FOHRER G.
- FOHRER G.
- FOKKELMAN J.P.
- FREEDMAN D.N.
- FREEDMAN D.N.
- FREEDMAN D.N.
- FREEDMAN D.N.
- FRITZ V.
- FRITZ V.
- FRITZ V.
- FRITZ V.
- FRITZ V.
- FRITZ V.
- FUHS H.F.
- GALLING K.
- GARBINI G.
- GARBINI G.
- GASTER T.H.
- GASTER T.H.
- GERSTENBERGER E.
- GIESEBRECHT F.
- GLOBE
- GLOBE
- GLOBE
- GLOCK A.E.
- GOLDENSTEIN J.
- GOODWIN
- GRADWOHL R.
- GRAF F.
- GRAY J.
- GRAY J.
- GRAY J.
- GRESSMANN H.
- GRESSMANN H.
- GRESSMANN H.
- GRETHER O.
- GRIMME H.
- GRIMME H.
- GROVES A.
- GUNKEL H.
- GUNNEWEG A.H.
- GUNNEWEG A.H.
- GÖRG M.
- GÖRG M.
- GÖRG M.
- GÖRG M.
- H.
- H.
- H.
- HAAK R.D.
- HAAS V.
- HACHMANN R.
- HALPERN B.
- HAPPEL O.
- HARTENSTEIN F.
- HAUGE M.R.
- HAUPT P.
- HERRMANN W .
- HESS R.S.
- HIEBERT TH.
- HITZIG F.
- HOLLADAY J.V.
- HOLLADAY W.L.
- HOSSFELD F.-L.
- HOSSFELD F.-L.
- HOUSTON W.J.
- HOUTMAN C.
- HUMBERT P.
- HUPFELD H.
- HURVITZ
- HUWYLER
- HÖLSCHER G.
- HÜLST A.R.
- IRWIN W.A.
- IRWIN W.A.
- IWRY
- J.
- J.
- J.
- J.
- J.
- JACOBS B.
- JANZEN J.G.
- JENNI E.
- JENNI E.
- JOHNSON M.D.
- JOÜON P.
- JUNGE E.
- KEDAR-KOPFSTEIN B.
- KEEL O.
- KOCHAVI M.
- KOOIJ A.
- KOOIJ A.
- KRATZ R.G.
- KRAUS H.-J.
- KUENEN
- KÖCKERT M.
- KÖCKERT M.
- KÖCKERT M.
- KÖCKERT M.
- KÖCKERT M.
- KÖNIG E .
- KÜHLEWEIN J.
- LABUSCHAGNE C.J.
- LAPP P.W.
- LAUHA
- LECLANT J.
- LELLI F.
- LEMCHE N.P.
- LESCOW T.
- LEVIN Ch.
- LEVIN Ch.
- LEVIN Ch.
- LEWIS T.J.
- LIDDELL H.G.
- LIEDKE G.
- LINDARS B.
- LINDARS B.
- LINDARS B.
- LIPINSKI E.
- LIPINSKI E.
- LOEWENSTAMM S.E.
- LOHFINK N.
- LORETZ O.
- LORETZ O.
- M.
- MACCHI J.-D.
- MADL H.
- MAIBERGER P.
- MAISLER R) β
- MAISLER R) β
- MALAMAT
- MALAMAT
- MARGULIES H .
- MARGULIS B.
- MARTI K .
- MARTIN J.D.
- MARX
- MATHYS H.-P.
- METTINGER T.N.
- METZGER M .
- METZNER G.
- MEYER E.
- MILLER P.D.
- MOOR J.C.
- MOORE G.F.
- MOWINCKEL S.
- MOWINCKEL S.
- MOWINCKEL S.
- MOWINCKEL S.
- MYERS M.
- MÜLLER A.R.
- MÜLLER D.H.
- MÜLLER D.H.
- MÜLLER H.-P.
- MÜLLER H.-P.
- MÜLLER H.-P.
- NEEF H.-D.
- NEEF H.-D.
- NEEF H.-D.
- NEEF H.-D.
- NEEF H.-D.
- NEEF H.-D.
- NELSON R.D.
- NESTLE E.
- NIEHR H.
- NIEHR H.
- NIEHR H.
- NIEHR H.
- NIELSEN E.
- NIELSEN E.
- NIELSEN E.
- NOTH M.
- NOTH M.
- NOTH M.
- NOTH M.
- NOWACK W.
- NÖTSCHER F.
- NÖTSCHER F.
- O'CONNOR M.
- O.
- O.
- O.
- O.
- OETTLI S.
- OLLENBURGER B .
- OLSHAUSEN J.
- ORELLI C.
- OSWALD W.
- P.
- PARPOLA S.
- PECKHAM B.
- PECKHAM B.
- PERLES F.
- PERLITT L.
- PERLITT L.
- PETTINATO G.
- PFEIFFER R.H.
- PLÖGER O.
- PODELLA T.
- POHLMANN K.-F.
- PREUSS H.-D.
- PROCKSCH O.
- R.
- RAD G.
- RAD G.
- RAD G.
- RAHLFS A.
- REUSS E.
- RICHTER W.
- RICHTER W.
- RICHTER W.
- RINGGREN H.
- RKU
- ROBERTS J.J.
- ROBERTSON D .
- ROBERTSON O.P.
- ROBINSON T.H.
- ROSENMÜLLER E.F.
- ROTHSTEIN J.W.
- ROWTON M.B.
- RUDOLPH W.
- RUDOLPH W.
- RUITEN J.T.
- SAWYER J.F.
- SCHARBERT J.
- SCHERER
- SCHMID
- SCHMIDT H.
- SCHMIDT H.
- SCHMIDT H.
- SCHMIDT W.H.
- SCHNEIDER T.
- SCHNUTENHAUS F.
- SCHREINER J.
- SCHREINER J.
- SCHREINER S.
- SCHULTE H.
- SCHULZ
- SCHÜNGEL-STRAUMANN H.
- SEALE M.S.
- SEEBASS H.
- SEGOND
- SEINECKE L.
- SELLIN E .
- SELLIN E .
- SELLIN E .
- SETERS J.
- SEYBOLD
- SEYBOLD
- SHUPAK N.
- SIMPSON C.A.
- SMEND R.
- SMEND R.
- SMITH R.L.
- SODEN W.
- SOGGIN J .
- SOGGIN J .
- SPIECKERMANN H.
- STADE B.
- STADE B.
- STAERK W.
- STAERK W.
- STAGER L.E.
- STARKE F.
- STECK O.H.
- STECK O.H.
- STLEITNER J.
- STÄHLI H.-P.
- TSUMARA D.T.
- TSUMARA D.T.
- Tü
- UEHLINGER CH.
- UNGNAD F.
- V.
- V.
- VATTIONI F.
- VEIJOLA T.
- VEON R.
- VERNES M.
- VOGT E.
- VOGT E.
- VOLZ P.
- WAKEMAN M.K.
- WAL A.
- WALTISBERG M.
- WANKE G.
- WARD W.H.
- WARMUTH G.
- WARMUTH G.
- WATSON W.G.
- WATTS D.W.
- WATTS J.W.
- WEBB B.G.
- WEHMEIER G.
- WEIHER E.
- WEIMAR P.
- WEINFELD M.
- WEIPPERT M.
- WEIPPERT M.
- WEIPPERT M.
- WEIPPERT M.
- WEIPPERT M.
- WEISER
- WEISER
- WEISMAN Z.
- WELLHAUSEN J.
- WELTEN P.
- WESTERMANN C.
- WESTERMANN C.
- WETZSTEIN J.G.
- WIEDER A.A.
- WIESE K.
- WINTER G.
- WLLDBERGER H.
- WLLDBERGER H.
- WLLDBERGER H.
- WLLDEBOER G.
- WLNCKLER H.
- WOLF A.A.
- WOLFF H.W.
- WOLTERS
- XXXIII
- XXXIII
- ZAKOWITSCH Y.
- ZAPF B.M.
- ZIMMERLI W.
- ZIMMERN H.
- ZOLLI I.
- ΒΕΝΤΖΕΝ
- Publication venue
- 'Vandenhoeck & Ruprecht GmbH & Co, KG'
- Publication date
- Field of study