Probabilistic ω-Regular Expressions

Weidner, Thomas

doi:10.1007/978-3-319-04921-2_48

Cited by 3 publications

(3 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In additions, they proved that probabilistic automata with Büchi acceptance are more expressive than non-deterministic ω-automata. Recently, Weidner in [35,36] proposed a corresponding logic to the probabilistic extension of Büchi automata.…”

Section: Related Workmentioning

confidence: 99%

Use of Büchi automata and randomness for the description of biological processes

Giannakis

Andronikos

2015

IJSW

View full text Add to dashboard Cite

The main topic of this study is the modelling and verification of biological systems using ω-automata. This work focuses on the protein folding problem and the infinite behaviour it features in many cases. Specifically, stochastic computational models with infinite input are used in this paper's approach and indicative aspects of a biological problem are presented using both ω-automata and probabilistic Büchi automata (PBAs), making a novel attempt to establish their use in reasoning about biological processes. Necessary preliminary definitions and background towards this direction are provided. Finally, the pros and cons of each model are shown through examples. Overall, this work contributes by combining for the very first time PBAs with real biological mechanisms, with indicative examples, both with PBAs and NBAs (non-deterministic Büchi automata).

show abstract

Section: Related Workmentioning

confidence: 99%

Use of Büchi automata and randomness for the description of biological processes

Giannakis

Andronikos

2015

IJSW

View full text Add to dashboard Cite

show abstract

“…Our definition for TCA naturally extends the constraint automata for words (see e.g. [16,38,21,40,25,43]) as well as a similar one for trees on pZ, ă, "q from [19, Section 3.1]. In Section 4, the nonemptiness problem for TCA is shown ExpTime-complete.…”

Section: Introductionmentioning

confidence: 99%

First Steps Towards Taming Description Logics with Strings

Demri,

Quaas

2023

Lecture Notes in Computer Science

View full text Add to dashboard Cite

We consider the description logic ALCF P pDΣq over the concrete domain DΣ " pΣ ˚, ă, ", p"wq wPΣ ˚q, where ă is the strict prefix order over finite strings in Σ ˚. Using an automata-based approach, we show that the concept satisfiability problem w.r.t. general TBoxes for ALCF P pDΣq is ExpTime-complete for all finite alphabets Σ. As far as we know, this is the first complexity result for an expressive description logic with a nontrivial concrete domain on strings.‹ The second author is supported by the Deutsche Forschungsgemeinschaft (DFG), project 504343613.

show abstract

“…In additions, they proved that probabilistic automata with Büchi acceptance are more expressive than non-deterministic ω-automata. Recently, Weidner in (Weidner, 2012(Weidner, , 2014 proposed a corresponding logic to the probabilistic extension of Büchi automata.…”

Section: Infinite Computationmentioning

confidence: 99%

Infinite and standard computation with unconventional and quantum methods using automata

Giannakis¹,

Γιαννάκης²

View full text Add to dashboard Cite

Η εκπόνηση της παρούσας διατριβής αφορά το πεδίο της Θεωρητικής Επιστήμης Υπολογιστών ή Θεωρητικής Πληροφορικής. Αφορά κατά κύριο λόγο τη χρήση “Μη συμβατικών” μεθόδων υπολογισμού, όπως ο υπολογισμός με αυτόματα μεμβράνες και ο υπολογισμός με κβαντικά αυτόματα. Η θεωρία αυτομάτων είναι υποπεδίο της θεωρίας υπολογισμού και στην εργασία αυτή μελετάμε κυρίως παραλλαγές αυτομάτων που δεν ανήκουν στα καθιερωμένα μοντέλα, αλλά αντίθετα έχουν σχέση με αυτό που λέμε “Μη συμβατικές” μέθοδοι υπολογισμού. Η κύρια παραλλαγή των αυτομάτων που ανήκει στη Θεωρία Υπολογισμού και η οποία μελετάται στην παρούσα διατριβή αφορά τα αυτόματα που δέχονται εισόδους άπειρου μήκους. Αυτά τα αυτόματα ονομάζονται ω-αυτόματα. Στην παρούσα εργασία τα συνδέουμε με τον μηχανισμό επερωτήσεων σε ιστούς Διασυνδεδεμένων Δεδομένων, οι οποίοι μπορεί να είναι άπειροι σε μέγεθος. Η έρευνα των εναλλακτικών ή μη συμβατικών μεθόδων υπολογισμού ξεκίνησε λόγω των φυσικών ορίων των υλικών και των μεθόδων που χρησιμοποιούνται στις τρέχουσες υπολογιστικές τεχνολογίες. Ως εκ τούτου, υπάρχειμία συνεχής προσπάθεια για περαιτέρω εξερεύνηση της πιθανότητας χρήσης τέτοιων μεθόδων και υλικών για υπολογιστικούς σκοπούς. Πέρα από τα εμπνευσμένα από τη βιολογία μοντέλα υπολογισμού, όπως είναι τα συστήματα μεμβρανών, η εξερεύνηση κβαντικών υπολογιστικών μεθόδων έχει προσελκύσει αρκετή προσοχή, τόσο στον ακαδημαϊκό χώρο, όσο και τη βιομηχανία. Συνολικά, στην παρούσα διατριβή, προσπαθούμε να φωτίσουμε αυτές τις εναλλακτικές μεθόδους υπολογισμού που λειτουργούν με έναν μη συμβατικό, μη καθιερωμένο τρόπο. Παρουσιάζουμε τόσο το θεωρητικό υπόβαθρο και την τρέχουσα βιβλιογραφία σχετικά με τις έννοιες με τις οποίες καταπιάνεται αυτή η εργασία, όσο και την λεπτομερή συνεισφορά του συγγραφέα, όπως αυτή έχει προκύψει μέσα από διάφορες ήδη δημοσιευμένες εργασίες. Η ορολογία που χρησιμοποιούμε σε όλη την έκταση της διατριβής δηλώνεται ρητά όπου και όταν αυτό απαιτείται. Συνολικά, χρησιμοποιούμε τον όρο “ standard” (“καθιερωμένο”) για τον χαρακτηρισμό του υπολογισμού και των αντίστοιχων αρχιτεκτονικών και μοντέλων που ανήκουν σε ήδη εγκαθιδρυμένες υπολογιστικές δομές, όπως οι μηχανές Turing, τα πεπερασμένα αυτόματα κτλ. Οι όροι “classical” (κλασικός) και “conventional” (“συμβατικός”) υπολογισμός αναφέρονται στην ίδια έννοια και χρησιμοποιούνται, επίσης, στη βιβλιογραφία. Ομοίως, επιλέγουμε τη χρήση του όρου “unconventional” (“μη συμβατικού”) και όχι άλλους όρους που συναντώνται ισοδύναμα στη βιβλιογραφία, όπως “alternative” (εναλλακτικός) και “non-standard” (μη καθιερωμένος).Η διατριβή χωρίζεται σε 3 κύρια μέρη. Το πρώτο από αυτά ασχολείται με τη συσχέτιση κατάλληλων παραλλαγών αυτομάτων με τη διαδικασία επερωτήσεων πάνω σε Ιστούς Διασυνδεδεμένων Δεδομένων. Το δεύτερο κομμάτι αφορά τη χρήση αυτόματων μεμβρανών και την πρόταση κβαντικών αυτομάτων με άπειρες εισόδους. Το τελευταίο τμήμα της διατριβής εμπεριέχει τη συζήτηση και τον σχολιασμό των αποτελεσμάτων μας, καθώς και κατευθύνσεις για μελλοντική έρευνα, μαζί με την παρουσίαση πιθανών εφαρμογών των παραπάνω.

show abstract

Probabilistic ω-Regular Expressions

Cited by 3 publications

References 19 publications

Use of Büchi automata and randomness for the description of biological processes

Use of Büchi automata and randomness for the description of biological processes

First Steps Towards Taming Description Logics with Strings

Infinite and standard computation with unconventional and quantum methods using automata

Contact Info

Product

Resources

About