A Myhill-Nerode Theorem for Higher-Dimensional Automata.

Uli Fahrenberg Krzysztof Ziemianski

Published in: Petri Nets (2023)

Keyphrases

higher dimensional
euclidean space
high dimensional
low dimensional
arbitrary dimension
lower dimensional
finite dimensional
finite state
distance transform
continuous relaxation
machine learning
data structure
computationally efficient