![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter
\(\mathcal {P}\mathcal {S}\) -Regular Languages
In this chapter, by using “permissible subsets”, we obtain a kind of generalized principal congruences determined by languages. Applying this kind of generalized principal congruences, we introduce and investi...
-
Chapter
Regular Languages
In this chapter, some selected topics of regular languages are involved. The contents of the chapter can be divided into two parts. In Sects. 3.1–3.3, a brief introduction to the theory of regular languages, i...
-
Chapter
F-Disjunctive Languages
In this chapter, systematic characterizations of f-disjunctive languages, a generalization of disjunctive language, are given. In particular, f-disjunctive domains and syntactic semigroups of f-disjunctive lan...
-
Chapter
Generalized Disjunctive Languages
In this chapter, we introduce a general theory of generalized disjunctive languages. By using universal algebra, a uniform characterization of syntactic semigroups of various kinds of generalized disjunctive l...
-
Chapter
Some Common-Used Codes
The theory of codes takes its origin in the theory of information devised by Shannon in 1950s, which is a branch of theoretical computer science. The algebraic theory of codes, which mainly studies the constru...
-
Chapter
Disjunctive Languages
The main topics of this chapter is disjunctive decompositions of languages. A language is said to be disjunctive decomposable if it can be decomposed into a disjoint union of several disjunctive languages. In ...
-
Chapter
Relatively Disjunctive Languages and Relatively Regular Languages
In this chapter, we will investigate relatively regular languages and relatively disjunctive languages systematically. The two classes of languages are natural generalizations of regular languages and disjunct...
-
Chapter and Conference Paper
A Parallel Monolithic Domain Decomposition Method for Blood Flow Simulations in 3D
We develop a parallel scalable domain decomposition method for the simulation of blood flows in compliant arteries in 3D, by using a fully coupled system of linear elasticity equation and incompressible Navier...