دانلود رایگان مقالات نشریه ISI علوم کامپیوتر نظری

Deciding determinism of caterpillar expressions

9 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

Regulated nondeterminism in pushdown automata

14 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

Efficient enumeration of words in regular languages

10 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

From Nerode’s congruence to suffix automata with mismatches

10 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

Weighted automata and weighted logics with discounting

14 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

Defining syntax-directed translations by tree bimorphisms

9 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

Finite state automata representing two-dimensional subshifts

9 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

Synchronizing automata preserving a chain of partial orders

7 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

A computational model for tiling recognizable two-dimensional languages

10 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

The degree of word-expansion of lexicalized RRWW-automata — A new measure for the degree of nondeterminism of (context-free) languages

9 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

Backward and forward bisimulation minimization of tree automata

14 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

General suffix automaton construction algorithm and space bounds

10 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه

Accelerating Boyer–Moore searches on binary texts

9 صفحه فرمت PDF سال انتشار : 2009 دانلود متن کامل مقاله ISI سفارش ترجمه