Tensor Product Representations of Subregular Formal Languages
Formal Languages and Automata Theory
2019-08-23 v1 Logic in Computer Science
Abstract
This paper provides a geometric characterization of subclasses of the regular languages. We use finite model theory to characterize objects like strings and trees as relational structures. Logical statements meeting certain criteria over these models define subregular classes of languages. The semantics of such statements can be compiled into tensor structures, using multilinear maps as function application for evaluation. This method is applied to consider two properly subregular languages over different string models.
Keywords
Cite
@article{arxiv.1908.08132,
title = {Tensor Product Representations of Subregular Formal Languages},
author = {Jonathan Rawski},
journal= {arXiv preprint arXiv:1908.08132},
year = {2019}
}
Comments
to appear in Proceedings of IJCAI 2019 workshop on Neural-Symbolic Learning and Reasoning