Table of Links Abstract and 1 Introduction 2 Preliminaries 3 Temporal Hierarchies 4 Rating Maps 5 Optimal Imprints for TL(AT) 6 Conclusion and References Appendix A. Appendix to Section 2 & Appendix B. Appendix to Section 3 Appendix C. Appendix to Section 4 & Appendix D. Appendix to Section 5 3. Temporal hierarchies We introduce the operator C 7→ TL(C) and use it to define temporal hierarchies. We compare them to the classic concatenation hierarchies. We focus on the standard bases which are made of group languages. We prove that for such a basis, the corresponding temporal hierarchy is always strict and that membership for the level two boils down to separation for the basis. Proposition 21 can now be combined with Corollary 4. We obtain that for every group prevariety G, if C ∈ {G, G +}, then TL2(C)-membership reduces to BPol(C)-separation. The latter problem has been extensively studied for group classes. If C ∈ {G, G +}, it is shown in [28, 30] that BPol(C)- separation reduces to C-separation. This yields the following result. This paper is available on arxiv under CC BY 4.0 DEED license. Authors:
(1) Thomas Place;
(2) Marc Zaitoun. Table of Links Abstract and 1 Introduction Abstract and 1 Introduction 2 Preliminaries 2 Preliminaries 3 Temporal Hierarchies 3 Temporal Hierarchies 4 Rating Maps 4 Rating Maps 5 Optimal Imprints for TL(AT) 5 Optimal Imprints for TL(AT) 6 Conclusion and References 6 Conclusion and References Appendix A. Appendix to Section 2 & Appendix B. Appendix to Section 3 Appendix A. Appendix to Section 2 & Appendix B. Appendix to Section 3 Appendix C. Appendix to Section 4 & Appendix D. Appendix to Section 5 Appendix C. Appendix to Section 4 & Appendix D. Appendix to Section 5 3. Temporal hierarchies We introduce the operator C 7→ TL(C) and use it to define temporal hierarchies. We compare them to the classic concatenation hierarchies. We focus on the standard bases which are made of group languages. We prove that for such a basis, the corresponding temporal hierarchy is always strict and that membership for the level two boils down to separation for the basis. operator Proposition 21 can now be combined with Corollary 4. We obtain that for every group prevariety G, if C ∈ {G, G +}, then TL2(C)-membership reduces to BPol(C)-separation. The latter problem has been extensively studied for group classes. If C ∈ {G, G +}, it is shown in [28, 30] that BPol(C)- separation reduces to C-separation. This yields the following result. This paper is available on arxiv under CC BY 4.0 DEED license. This paper is available on arxiv under CC BY 4.0 DEED license. available on arxiv Authors: (1) Thomas Place; (2) Marc Zaitoun. Authors: Authors: (1) Thomas Place; (2) Marc Zaitoun.

Part of HackerNoon's growing list of open-source research papers, promoting free access to academic material.

Rating Maps: The Framework That We Used

The Preliminaries We Used to Classify Languages: Fixing a Finite Alphabet

Read My Stories

Too Long; Didn't Read

Boost your HackerNoon story @ $159.99! 🚀

What Are Temporal Hierarchies?

About Author

Comments

TOPICS

THIS ARTICLE WAS FEATURED IN

Related Stories

Untitled Story

Defining Temporal Hierarchies and How We Proved That Corresponding Hierarchies Are Always Strict

Temporal Hierarchies of Regular Languages: How We Classified Languages

The Preliminaries We Used to Classify Languages: Fixing a Finite Alphabet

Rating Maps: The Framework That We Used

Optimal Imprints for TL(AT): Explaining Our Main Theorem

Defining Temporal Hierarchies and How We Proved That Corresponding Hierarchies Are Always Strict

Temporal Hierarchies of Regular Languages: How We Classified Languages

The Preliminaries We Used to Classify Languages: Fixing a Finite Alphabet

Rating Maps: The Framework That We Used

Optimal Imprints for TL(AT): Explaining Our Main Theorem

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps