Skip to main content

2020 | OriginalPaper | Buchkapitel

On the Difference Between Finite-State and Pushdown Depth

verfasst von : Liam Jordon, Philippe Moser

Erschienen in: SOFSEM 2020: Theory and Practice of Computer Science

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This paper expands upon existing and introduces new formulations of Bennett’s logical depth. A new notion based on pushdown compressors is developed. A pushdown deep sequence is constructed. The separation of (previously published) finite-state based and pushdown based depth is shown. The previously published finite state depth notion is extended to an almost everywhere (a.e.) version. An a.e. finite-state deep sequence is shown to exist along with a sequence that is infinitely often (i.o.) but not a.e. finite-state deep. For both finite-state and pushdown, easy and random sequences with respect to each notion are shown to be non-deep, and that a slow growth law holds for pushdown depth.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
We acknowledge that logical depth was originally defined as depending on both computational complexity and Kolmogorov complexity, which is a descriptional complexity. The new notions in this paper are focused purely on a descriptional complexity lengths, specifically the ratio between the length of the input and the length of the output to restricted classes of transducers. However we continue to call these depth notions to be consistent with previous literature in [6, 11].
 
2
Actually two notions were introduced, which differ only by the order of quantifiers.
 
Literatur
1.
Zurück zum Zitat Antunes, L., Fortnow, L., van Melkebeek, D., Vinodchandran, N.: Computational depth: concept and applications. Theoret. Comput. Sci. 354, 391–404 (2006)MathSciNetCrossRef Antunes, L., Fortnow, L., van Melkebeek, D., Vinodchandran, N.: Computational depth: concept and applications. Theoret. Comput. Sci. 354, 391–404 (2006)MathSciNetCrossRef
2.
Zurück zum Zitat Bennett, C.H.: Logical depth and physical complexity. In: Bennett, C. (ed.) The Universal Turing Machine, A Half-Century Survey, pp. 227–257. Oxford University Press, New York (1988) Bennett, C.H.: Logical depth and physical complexity. In: Bennett, C. (ed.) The Universal Turing Machine, A Half-Century Survey, pp. 227–257. Oxford University Press, New York (1988)
3.
Zurück zum Zitat Calude, C.S., Salomaa, K., Roblot, T.K.: Finite state complexity. Theoret. Comput. Sci. 412(41), 5668–5677 (2011)MathSciNetCrossRef Calude, C.S., Salomaa, K., Roblot, T.K.: Finite state complexity. Theoret. Comput. Sci. 412(41), 5668–5677 (2011)MathSciNetCrossRef
4.
Zurück zum Zitat Calude, C.S., Staiger, L., Stephan, F.: Finite state incompressible infinite sequences. Inf. Comput. 247, 23–36 (2016)MathSciNetCrossRef Calude, C.S., Staiger, L., Stephan, F.: Finite state incompressible infinite sequences. Inf. Comput. 247, 23–36 (2016)MathSciNetCrossRef
5.
Zurück zum Zitat Dai, J., Lathrop, J., Lutz, J., Mayordomo, E.: Finite-state dimension. Theoret. Comput. Sci. 310, 1–33 (2004)MathSciNetCrossRef Dai, J., Lathrop, J., Lutz, J., Mayordomo, E.: Finite-state dimension. Theoret. Comput. Sci. 310, 1–33 (2004)MathSciNetCrossRef
7.
Zurück zum Zitat Huffman, D.A.: Canonical forms for information-lossless finite-state logical machines. IRE Trans. Circ. Theory CT-6 (Special Supplement) 5(5), 41–59 (1959)CrossRef Huffman, D.A.: Canonical forms for information-lossless finite-state logical machines. IRE Trans. Circ. Theory CT-6 (Special Supplement) 5(5), 41–59 (1959)CrossRef
8.
Zurück zum Zitat Kohavi, Z.: Switching and Finite Automata Theory, 2nd edn. McGraw-Hill, New York (1978)MATH Kohavi, Z.: Switching and Finite Automata Theory, 2nd edn. McGraw-Hill, New York (1978)MATH
9.
Zurück zum Zitat Mayordomo, E., Moser, P., Perifel, S.: Polylog space compression, pushdown compression, and Lempel-Ziv are incomparable. Theory Comput. Syst. 48(4), 731–766 (2011)MathSciNetCrossRef Mayordomo, E., Moser, P., Perifel, S.: Polylog space compression, pushdown compression, and Lempel-Ziv are incomparable. Theory Comput. Syst. 48(4), 731–766 (2011)MathSciNetCrossRef
10.
Zurück zum Zitat Moser, P.: Polynomial depth, highness and lowness for E. Inf. Comput. (2019, accepted) Moser, P.: Polynomial depth, highness and lowness for E. Inf. Comput. (2019, accepted)
11.
Zurück zum Zitat Moser, P.: On the polynomial depth of various sets of random strings. Theor. Comput. Sci. 477, 96–108 (2013)MathSciNetCrossRef Moser, P.: On the polynomial depth of various sets of random strings. Theor. Comput. Sci. 477, 96–108 (2013)MathSciNetCrossRef
12.
Zurück zum Zitat Moser, P., Stephan, F.: Depth, highness and DNR degrees. Discrete Math. Theor. Comput. Sci. 19(4) (2017) Moser, P., Stephan, F.: Depth, highness and DNR degrees. Discrete Math. Theor. Comput. Sci. 19(4) (2017)
Metadaten
Titel
On the Difference Between Finite-State and Pushdown Depth
verfasst von
Liam Jordon
Philippe Moser
Copyright-Jahr
2020
DOI
https://doi.org/10.1007/978-3-030-38919-2_16