Informatique - Langages formels et théorie des automates

Un aperçu du BNRA et du problème de couverturabilité pour la coordination des agents.

Cet article explore la relation entre les quotients et les treillis dans les langages réguliers.

Explore comment les fractales et les systèmes de processus sont liés à travers l'auto-similarité et les processus itératifs.

Un aperçu de comment différentes structures interagissent dans les langages formels.

Une méthode pour guider des systèmes autonomes tout en garantissant la sécurité et la conformité.

Examiner la relation entre les transducteurs d'arbres attribués et les transducteurs d'arbres descendantes.

Découvrez comment les automates de Wheeler améliorent l'efficacité dans le traitement des données et la correspondance de motifs.

De nouvelles techniques améliorent la surveillance en temps réel des performances des systèmes critiques.

Explore comment les invariants et les espaces de départ aident dans l'analyse des systèmes.

Cet article explore les améliorations de l'algorithme d'Angluin pour apprendre des automates avec des données bruyantes.

Cette méthode améliore la découverte d'équations à partir des données en utilisant des structures d'arbres intuitives.

Apprends comment les transducteurs de multiplication simplifient les calculs dans différentes bases.

Cet article présente un nouveau cadre pour améliorer l'exécution des modèles linguistiques.

Ce papier parle de l'importance de la robustesse dans les systèmes critiques pour la sécurité.

Nouveaux trucs améliorent la vérif des programmes concurrents, en s'attaquant aux défis d'explosion de chemin.

Explorer des méthodes efficaces pour créer des stratégies gagnantes dans les jeux à deux joueurs.

Une étude sur les méthodes d'apprentissage pour les protocoles de diffusion dans des systèmes complexes.

Analyser les propriétés et les implications de l'arithmétique Sem enov généralisée.

Un aperçu des document spanners et de leur rôle dans l'extraction d'informations textuelles.

Une nouvelle approche améliore l'efficacité des solveurs SAT grâce à une meilleure communication entre les modules.

Un aperçu des complexités pour s'assurer que les systèmes distribués fonctionnent correctement.

Découvre des méthodes efficaces pour gérer des chaînes avec des DAWGs et des arbres de suffixes.

Un aperçu de comment les automates synchronisés permettent aux systèmes de réinitialiser les états efficacement.

Techniques efficaces pour améliorer le parsing d'Earley en traitement du langage naturel.

De nouvelles méthodes améliorent la gestion des contraintes de chaîne dans la programmation.

Un nouvel algorithme améliore énormément l'efficacité de la simulation des systèmes de transition labellisés.

Cet article parle de méthodes efficaces pour vérifier les systèmes de partage de verrou contre d'éventuels problèmes.

Une nouvelle approche pour évaluer la performance des programmes probabilistes en utilisant VASS.

Examine les concepts de sécurité et de vivacité dans les automate quantitatifs pour la vérification des systèmes.

Examiner comment des paires de mots peuvent se transformer via la conjugaison dans des relations rationnelles.

Apprends comment les références arrière améliorent les expressions régulières pour des motifs de texte complexes.

Un aperçu des langages finis, des DFA et de leur analyse.

Une étude des interactions sensibles au temps dans les négociations entre agents.

Un aperçu de la gestion de la perte de messages en tenant compte des priorités en informatique.

Les métriques contextuelles améliorent les comparaisons des comportements des processus dans des situations variées.

Un aperçu des automates, de leurs types et des langages qu'ils reconnaissent.

De nouveaux modèles améliorent la prise de décision avec des facteurs de réduction flexibles.

Cet article examine comment l'universalité relie différents systèmes à travers les disciplines.

Un aperçu concis de la fermeture sans étoile et de son impact sur les langages réguliers.

Un aperçu de comment la logique temporelle façonne l'étude des langages en informatique.