Coalgebraic Semantics for Nominal Automata.

Florian Frank Stefan Milius Henning Urbat

Published in: CoRR (2022)

Keyphrases

formal semantics
semantic information
cellular automata
finite state
database
neural network
high level
logic programming
pattern matching
finite state machines
semantic relationships
semantic representation
model theoretic
formal languages
probabilistic automata