国际概念建模会议(ER)是介绍和讨论当前概念建模研究的主要国际论坛。感兴趣的主题内容横跨整个概念建模包括等领域的研究和实践。 官网地址:http://dblp.uni-trier.de/db/conf/er/

最新论文

Let p/q be a rational number. Numeration in base p/q is defined by a function that evaluates each finite word over A_p={0,1,...,p-1} to a number in some set N_p/q. In particular, N_p/q contains all nonnegative integers and the literature on base p/q usually focuses on the set of words that are evaluated to nonnegative integers; it is a rather chaotic language which is not context-free. On the contrary, we study here the subsets of (N_p/q)^d that are p/q-recognisables, i.e. realised by finite automata over (A_p)^d. First, we give a characterisation of these sets as those definable in a first-order logic, similar to the one given by the B\"uchi-Bruy\`ere Theorem for integer bases numeration systems. Second, we show that the natural order relation and the modulo-q operator are not p/q-recognisable.

0
0
下载
预览
Top