Journal
Scientific and technical journal of information technologies, mechanics and optics
UDK004.4'242
Issue:6 (70)
FINITE AUTOMATA VALIDATION WITH VARIABLES IN FUNCTIONAL PROGRAMMING LANGUAGES
Annotation
This article describes a domain-specific language (eDSL) for automata-based programming embedded into the Haskell programming language. Proposed eDSL supports extensive code reuse and validation of state-transition functions. This is achieved through developed representation of logical formula that is free from both fixed set of input variables and fixed set of predicates. This allows combination of states in automata even if they were designed for different sets of input variables.
Keywords
Постоянный URL
Articles in current issue
- PROBABILITY DISTRIBUTION OF LEVEL-CROSSING INTERVALS OF THE NORMAL RANDOM PROCESS AND THE STRUCTURE OF AN OPTICAL NEAR-FIELD LOCATION SYSTEM WITH NOISE SYNCHRONIZATION
- DESIGN OF THE TUNABLE MIRROR OBJECTIVE FOR PULSE TERAHERTZ REFLECTOMETER SPECTROGRAPH-INTRAVISOR
- THREE-AXIS OPTICAL-ELECTRONIC AUTOCOLLIMATOR WITH INCREASED SENSITIVITY OF THE ROLL ANGLE MEASURING
- THE INFLUENCE ANALYSIS OF SPHERICAL REFLECTOR FORM ON MEASURING OF PISTON SHIFTS IN THE VALVE
- STATISTICAL CHARACTERISTICS OF HYPOTHESES, CAUSED BY NEURAL NETWORK WITH INTERCONNECTIONS, IMPLEMENTED BY FOURIER-HOLOGRAPHY TECHNIQUE
- FOCUSING PROPERTIES OF FRACTAL ZONE PLATES
- WAVEGUIDE NANOSTRUCTURES IN EXTERNAL ELECTRIC FIELD
- FORMATION OF THE INTERVAL VECTOR-MATRIX MODELING REPRESENTATIONS OF ANTHROPOCOMPONENTS-OPERATORS AS A PART OF COMPLEX DYNAMIC SYSTEMS
- INFORMATIVE FEATURE EXTRACTION OF PASSIVE LOCATION SEISMIC SENSOR SIGNALS
- POINT SPECTRUM OF SCHRODINGER OPERATOR FOR TWO CONNECTED SEMICRYSTALS WITH KRONIG-PENNEY POTENTIALS
- MANUFACTURING CHARACTERISTICS OF GYRO-DEVICES PRECISION ASSEMBLIES
- ECOLOGICAL RATIONING PROBLEMS DECISION WITH INFORMATION TECHNOLOGIES APPLICATION
- THE GEOPHYSICAL ENVIRONMENT ANALYSIS ALGORITHM
- REALISTIC MODELING OF FREE WATER SURFACE ON ADAPTIVE “OCTAL TREE” MESHES
- METHODS OF DIGITAL IMAGES MARKING IN THE FREQUENCY DOMAIN
- TOOL SYSTEM FOR SCALABLE PARALLEL PROGRAMS OF NUMERICAL CALCULATIONS DESIGN
- HTML, MHT AND WORD PROCESSING ML DOCUMENTS GENERATION SYSTEM
- PROBLEM-ORIENTED PROCESSORS DESIGN
- QUANTITATIVE ESTIMATION METHOD OF DIGITAL IMAGE CONTRAST
- ALGORITHM FOR THRESHOLDS COMPUTING INCREASING THE AUTOMATION OF GRAPHIC IMAGES RECOGNITION SYSTEMS
- THE INFLUENCE OF THE PARAMETERS OF A SCANNING PROBE MICROSCOPE FOR VISUALIZATION OF SURFACE TOPOGRAPHY OF BIOLOGICAL OBJECTS
- APPROACHES TO INFORMATION SECURITY SUPPORT IN THE OPEN DISTRIBUTED MULTI-AGENT VIRTUAL BUSINESS ENVIRONMENTS
- THE AUTOMATED CONTROL SYSTEM OF THE VIRTUAL EDUCATIONAL ENVIRONMENT
- SMALL BUSINESS COMPETITIVENESS OF SMOLENSK REGION: BRANCH AND CLUSTER ANALYSIS
- THE ROLE OF STRATEGIC DECISIONS IN CONTROL SYSTEM OF THE COMMERCIAL ORGANIZATION
- PRINCIPLES AND APPROACHES TO THE ENTERPRISE COMPETITIVENESS MAINTENANCE
- ARRANGEMENT OPTIMIZATION OF AXES BUNCH IN EXPERIMENTAL DETERMINATION OF INERTIA TENSOR
- PARAMETRICAL OPTIMIZATION OF DIFFICULT TECHNOLOGICAL PROCESSES OF OPTICAL MANUFACTURE WITH TECHNOLOGIES OF ARTIFICIAL NEURAL NETWORKS
- ESTIMATION OF ECONOMIC DAMAGE FROM COMPUTER ATTACKS ON GEOGRAPHICALLY-DISTRIBUTED NETS WITH SECURE MOBILE WORKSTATIONS
- ARTIFICIAL INTELLIGENT TECHNOLOGIES FOR DISTRIBUTED COMPUTATION FOR COMPLEX SYSTEM SIMULATION
- HIGH-PERFORMANCE SOFTWARE SYSTEM FOR DYNAMIC MARINE OBJECTS SIMULATION IN EXTREME CONDITIONS