Picture Languages Generated by Assembling Tiles

IF 0.4 4区计算机科学 Q4 COMPUTER SCIENCE, SOFTWARE ENGINEERING

Fundamenta Informaticae Pub Date : 2009-03-31 DOI:10.3233/FI-2011-529

P. Bonizzoni, C. Ferretti, A. R. S. Mary, G. Mauri

引用次数: 2

Abstract

We propose a new formalism for generating picture languages based on an assembly mechanism of tiles that uses rules having a context and a replacement site. More precisely, a picture language will be generated from a finite set of initial pictures by iteratively applying rewriting rules from a given finite set of rules, called a tiling rule system (TRuS system). We prove that the TRuS systems have a greater generative capacity than the tiling systems of Giammarresi and Restivo. This is due mainly to the use of the notion of replacement site, but we further characterize the difference between these systems by comparing them to Wang systems.

查看原文本刊更多论文

拼贴生成的图片语言

我们提出了一种新的生成图像语言的形式化方法，该方法基于瓦片的组装机制，使用具有上下文和替换站点的规则。更准确地说，通过迭代地应用来自给定有限规则集的重写规则，将从有限初始图像集生成图像语言，称为平铺规则系统(TRuS系统)。我们证明了TRuS系统比Giammarresi和Restivo的平铺系统具有更大的生成能力。这主要是由于使用了替代场地的概念，但我们通过将这些系统与Wang系统进行比较，进一步表征了这些系统之间的差异。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Fundamenta Informaticae 工程技术-计算机：软件工程

CiteScore

2.00

自引率

0.00%

发文量

审稿时长

9.8 months

期刊介绍： Fundamenta Informaticae is an international journal publishing original research results in all areas of theoretical computer science. Papers are encouraged contributing: solutions by mathematical methods of problems emerging in computer science solutions of mathematical problems inspired by computer science. Topics of interest include (but are not restricted to): theory of computing, complexity theory, algorithms and data structures, computational aspects of combinatorics and graph theory, programming language theory, theoretical aspects of programming languages, computer-aided verification, computer science logic, database theory, logic programming, automated deduction, formal languages and automata theory, concurrency and distributed computing, cryptography and security, theoretical issues in artificial intelligence, machine learning, pattern recognition, algorithmic game theory, bioinformatics and computational biology, quantum computing, probabilistic methods, algebraic and categorical methods.