Вопросы с тегом «linear-temporal-logic»

Это известный факт, что каждая формула LTL может быть выражена Büchi автоматом. Но, видимо, автоматы Büchi - более мощная, выразительная модель. Я где-то слышал, что автоматы Бюхи эквивалентны линейному времени -calculus (то есть -calculus с обычными фиксированными точками и только одним временным оператором: ).ωω\omegaμ Xμμ\muμμ\muИксИкс\mathbf{X} Существует ли алгоритм (конструктивное доказательство) …

30 logic  automata  formal-methods  linear-temporal-logic  buchi-automata 

У меня есть набор пар. Каждая пара имеет форму (x, y), так что x, y принадлежат целым числам из диапазона [0,n). Итак, если n равно 4, то у меня есть следующие пары: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У меня уже есть пары. Теперь я должен построить комбинацию, используя n/2пары, …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Чтобы найти разницу, я только что столкнулся с утверждениями ниже о временной логике в Википедии : Другой вариант модальной логики, разделяющий многие общие черты с динамической логикой, отличается от всех вышеупомянутых логик тем, что Пнуэли охарактеризовал как «эндогенную» логику, а другие - «экзогенную» логику. Под этим Пнуэли подразумевалось, что утверждения …

12 logic  linear-temporal-logic  temporal-logic 

Линейная временная логика и детерминированные автоматы несопоставимы: администратор баз данных не может выражать , а LTL не может выражать «по крайней мере, каждая нечетная буква - это« а »» . Но иногда интересно узнать, можно ли выразить язык DBA в литах.FGaFGaFGa Мне нужен алгоритм, который решает, является ли язык данного …

10 logic  automata  linear-temporal-logic  buchi-automata