JPH052487A - Language processing method - Google Patents

Abstract

(57) [Summary] [Structure] The specific structure type information extraction step 11 extracts the specific structure type information in the musical notation. This specific structural type information complements the structural type information, and it is possible to define an impossible structural type as specific structural type information, delete unnecessary backtracking processing, or execute only necessary processing. . The structural information complementing step 14 is the structural information extracting step 1
With respect to the structural type information obtained from the musical notation in 3, the impossible structural type is determined based on the specific structural type information, and the complementary structural type information is created. The execution musical score generation step 15 generates an execution musical score based on the complemented structural type information. [Effect] It is possible to obtain high-speed, small-capacity direct execution notation without backtracking control.

Description

Detailed Description of the Invention

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a language processing system, for example, a system for directly converting a program of a logic language whose operation is determined by first-order predicate logic into an execution notation.

[0002]

[Prior art]

Conventional example 1. A conventional logical language processing method for directly converting a logical language into an execution musical notation (hereinafter referred to as "logical language processing method") will be described with reference to FIGS. FIG. 6 is a diagram showing an example of a musical notation written in a logical programming language, and FIG.
7 is an example of a lower-language-converted musical number (hereinafter, referred to as "direct execution musical number") in which the musical number described in the logic language shown in FIG. 6 can be executed by a computer. In the following, the musical notation described in the logic language, the direct execution musical notation and the conversion method will be described with reference to FIG.

First, an arithmetic notation described in a logic language will be described with reference to FIG. Reference numeral 1 is an arithmetic notation that defines a specific processing procedure described in a logic programming language. 1a is a unit of a musical score that constitutes the musical score 1 (hereinafter, referred to as a "musical unit"), and defines a part of a specific process of the musical score 1. Similarly, 1b is also a unit of musical notation, and defines a part of a specific process of musical notation 1. Also, 1
c is a collection of musical notation units, and the musical notation unit 1 of the musical notation 1
a is a block of the remaining notation units excluding the notation unit 1b. The musical score 1 is a process procedure defined by a set of processing procedures defined for each musical score unit. [Car | Car] of the musical notation unit 1a is the musical notation unit 1
The first dummy argument of a, and the ATOM of the musical notation unit 1b is the first dummy argument of the musical notation unit 1b. These first dummy arguments are called from another notation not shown, and the values of the first actual argument of the other notation are substituted when that notation unit is executed (hereinafter , The argument of the call side of the music is called the actual argument, the argument of the call side of the music is called the dummy argument, when it is not necessary to distinguish the two, it is simply called the argument). And
By the typical basic control means of the logic language, each musical score unit has structural type information (hereinafter referred to as "structural type information") of the first actual argument of another musical score which uses this musical score 1 (not shown). ) Determines the musical score unit to be executed. That is, the musical score unit to be executed is selected by the structural type information of the first dummy argument when the musical score 1 is activated. Similarly, if the execution of the first selected musical notation unit fails by the typical basic control means of the logic language, the execution is moved to the next musical notation unit after the selected musical notation unit (hereinafter, This is referred to as "return processing"). Therefore, in the case of directly converting the musical notation 1 into the execution musical notation, it is not possible to directly use the execution control based on the structural type information as in the conventional case to directly generate the execution musical notation. This is because it is necessary to generate the direct execution musical notation defining the control means including the backward control peculiar to the logical programming language in addition to the execution control means only for the structural type information.

Next, a direct execution musical notation in which the specific musical notation described in the above logical language is converted by the conventional logical language processing method will be described. FIG. 7 shows a specific direct execution musical notation obtained by converting the musical notation 1 shown in FIG. 6 by a conventional logical language processing method. The direct execution musical notation converted based on the figure will be described below. Reference numeral 4 denotes a direct execution musical notation, which is a specific direct execution musical notation obtained by converting the musical notation 1 of FIG. 6 by a conventional logical language processing method.
Reference numeral 4a is an instruction, which is a machine language that can be directly executed by a computing machine. The instruction 4a indicates that when the processing procedure defined here is called, the execution control is changed by the structural type information of the first dummy argument. For example, the case where the structural type information is the following three types will be described as an example. (1) Undefined variable (var) (2) List (list) (3) Constant (const) In this case, if the structural type information of the first dummy argument is var by var (lab1) of the instruction 4a, the address Part lab1
To transfer control of execution to. After the execution shifts to lab1, the instructions after lab1 are executed.
The same applies to list (lab2). If the structural type information of the first dummy argument is list, the execution control is transferred to the address part lab2, and the commands after lab2 are executed.
The same applies to const (lab4). As described above, the executed part of the called musical notation 4 varies depending on the structural type information of the first actual argument of another musical notation not shown. Next, 4b is an instruction for backtracking control, and the first lab1 indicates the address part where the instruction is (the same applies below). The instruction 1b represents that if the processing defined next to this instruction fails, the execution control is transferred to the instruction of the address part indicated by lab3. When the processing is successful, it indicates that the execution of the direct execution musical notation 4 is successful. 4c is a part of the direct execution musical notation (hereinafter, "
6 is a direct execution musical notation portion), which defines a specific process, and corresponds to the musical notation unit 1a of FIG. 4e is a direct execution musical notation part, which defines a specific process, and corresponds to the musical notation unit 1b of Fig. 4. 4f is a direct execution musical notation part, It defines the processing and corresponds to the musical score unit 1c in FIG.

A method of directly converting a specific musical notation described in a logical language into an execution musical notation in the conventional logical language processing method will be described below with reference to FIG. Musical notation 1
Is formed by a group of musical notation units 1a, 1b and 1c. Each musical score unit is shown in FIG. 7 as an instruction for performing execution control based on each structural type information because the execution control is determined by the structural type information of the first actual argument of the musical score not shown. Generate the instruction 4a. However, it is necessary to define the backtracking control directly in the execution musical notation 4 in certain specific structural type information. When the first dummy argument having this specific structural type information is given, the musical score unit 1a is executed first, and if the execution is successful, the musical score 1 is successfully executed. If the execution is unsuccessful, , Such as executing the next musical notation unit 1b (hereinafter, similar control of execution is given in each musical notation unit) is directly defined in the execution musical notation 4. The description of this control method is generated like the instruction 4b and the instruction 4d in FIG. As described above, the direct execution musical notation 4 shown in FIG. 7 in which the execution control and the backtracking control based on the structural type information are described is generated.

Conventional example 2. Another conventional logical language processing method for directly converting a logical language into an execution musical notation will be described with reference to FIGS. 8 and 9. For example, when the musical notation described in the logic language shown in FIG. 8 is converted directly into the musical execution notated, it is converted into the direct execution musical notation shown in FIG. In this method, the musical notation written in the logic language shown in FIG. 8 can be converted into the direct execution musical notation shown in FIG. The capacity of the musical notation is not small.

The following describes the musical notation described in the logical programming language, the direct execution musical notation, and the conversion method with reference to FIG. The musical notation described in the logic language will be described below with reference to FIG. FIG. 8 is an arithmetic notation described in a logic programming language. Reference numeral 1 is a musical notation, which is a definition describing a specific processing means, and has a specific function symbol and an arbitrary number of arguments. 1a is one of the musical notations constituting 1 and is a unit of musical notation having an arbitrary constant in the first argument (hereinafter, "musical notation unit").
Is called), and is the first music unit to be processed when 1 is executed. 1b is the last musical unit that constitutes 1, and when 1a is executed and execution of 1a fails,
The next (last) executed musical notation unit.
This musical score 1 executes the musical score unit 1a when the first argument in the executed state is a constant or an undefined variable, and when the execution is successful, the process of the musical score 1 ends. Musical unit 1
If the execution of a fails, the next unit to be executed (lastly executed) in the score 1 is the score unit 1b. If the score unit 1b succeeds, the score 1 is not executed. success. When the execution of the musical score unit 1b fails, the execution of the musical score 1 fails.

The musical notation 1 is converted into the direct execution musical notation shown in FIG. 9 by the conventional logical language processing method. The converted direct execution musical notation will be described below with reference to FIG. Reference numeral 4 denotes a direct execution musical notation, which is the whole of the converted direct execution musical notation, and is composed of a low-level language (machine language) that can be executed by a computing machine. Reference numeral 4a is a direct execution musical notation portion corresponding to the musical notation unit 1a shown in FIG. Similarly,
Reference numeral 4b is a direct execution musical notation portion corresponding to the musical notation unit 1b shown in FIG. The direct-execution musical notation unit 4a is composed of a direct-execution musical notation unit 4a and a direct-execution musical notation unit 4b. If the execution is successful and the direct execution musical notation portion 4a fails, then (finally) the direct execution musical notation portion 4b is executed. If the execution of the direct execution musical notation part 4b succeeds, the execution of the direct execution musical notation part 4b succeeds, and if the execution of the direct execution musical notation part 4b fails, the execution of the direct execution musical notation part 4 fails. is doing. 41a is a command,
In the machine language command executed first in the direct execution musical notation 4, the direct execution musical notation portion 4a is executed first, and if the execution of the direct execution musical notation portion 4a fails, then the direct execution musical notation portion 4b is executed next. It means to execute. 42a is an instruction that unifies the value of the first dummy argument into the first actual argument (UNIFI
If this is done, this instruction will succeed, and if unification is not possible, this instruction will fail. The condition for unifying the first actual argument is that the first dummy argument is a constant indicated by this instruction or the first dummy argument is an undefined variable. 43
Reference character a indicates that the direct execution musical notation 4 has succeeded if the execution of the direct execution musical notation part 4a succeeds. 41
Reference numeral b denotes an instruction, which indicates that the direct execution musical notation part 4b has been executed, and if the execution has failed, the execution of the direct execution musical notation 4 has failed. 42b is an instruction, which is the direct execution musical notation part 4b.
Is successful, it indicates that the execution of the direct execution musical notation 4 is successful.

Next, a method of converting the musical notation 1 described in the logic language shown in FIG. 8 into the direct execution musical notation 1 shown in FIG. 9 will be described with reference to FIG. The musical notation 1 is composed of a musical notation unit 1a and a musical notation unit 1b. Therefore, when the musical score unit 1a is first executed and the musical score unit 1a is successfully executed, the musical score 1 is successfully executed according to the execution control method of the logical language. When execution of 1 unit 1a of musical notation fails,
Next, the musical score unit 1b is executed (hereinafter, "return control").
Called)). As a direct execution notation, this command succeeds when the value of the first dummy argument is unified to the first actual argument, and fails when it cannot be unified. The condition for unifying the first actual argument is that the first dummy argument is a constant indicated by this instruction or the first dummy argument is an undefined variable. Therefore, the instruction 41a shown in FIG. 9 is generated as an instruction for controlling the execution of the musical notation unit 1a and the musical notation unit 1b.
Next, 42a shown in FIG. 9 is generated as an instruction to determine the success or failure of the execution of the musical notation 1a. In the music unit 1b representing the last execution of the music 1, if the execution of the music unit 1b fails, the execution of the music 1 fails, so that 41b shown in FIG. To generate.

[0010]

Since the conventional logical language processing method is constructed as the above-mentioned method,
The advantage of faithfully expressing the typical control method required in a logic language in direct execution music, and the execution method defined in the arithmetic written in the logic language are the same as in direct execution music. There is an advantage that it is expressed as, and an advantage that it is expressed as a direct execution musical notation that deals with the structural type information that requires the typical backtracking control defined by the logic language. However, in the execution control defined by the notation written in the logical programming language, even if the structural type information for performing the backtracking control is not actually given at the time of execution, the structure that the argument can take when generating the directly executing notation Since the type information is not known, it must be expressed as a direct-execution musical instrument that deals with structural type information that requires backtracking control. There was a problem that the execution could not be converted to direct execution notation such that it would be executed at high speed.

The present invention has been made in view of the above problems, and an object thereof is to obtain a language processing system for generating a direct execution musical notation at a high speed and a small capacity.

[0012]

A language processing system according to the first invention has the following steps. (A) Structural type information extraction step for obtaining structural type information from the musical score; (b) Specific structural type information for obtaining specific structural type information defined to complement the structural type information from the musical score. Extraction step, (c) structural type information complementing step of creating complementary structural type information by complementing the above structural type information based on specific structural type information (d) execution of generating an execution musical score based on the complementary structural type information Musical score generation process.

[0013]

A language processing system according to the second invention has the following steps. (A) When generating a musical score, a condition extracting step of extracting a condition for generating a musical score that performs backward control, (b) based on the condition extracted by the condition extracting step,
A conversion process for generating either one of a backslashed control and a non-returned control.

[0014]

In the language processing method according to the first aspect of the invention, the specific structure type information extracting step extracts the specific structure type information in the musical score. This specific structural type information is added to complement the structural type information. Since there are several structural types, it is possible to execute any structural type, so that there is a redundant process such as a backtracking process. In view of the conventional method of generating various execution musical notations, a previously unknown imperceptible structural type is defined as specific structural type information. Alternatively, only the structural type known to be used in advance is defined as the specific structural type information. Therefore, by using this specific structure type information, unnecessary backtracking processing can be deleted, or only necessary processing can be executed. The structural type information complementing step determines the structural type information obtained from the musical score by the conventional method based on the specific structural type information by determining the impossible structural type or the necessary structural type and providing the supplemented structural type information. In the execution musical score generation step, which is a step of creating, the execution musical score is generated based on the complemented structural type information, so that generation of useless backtracking processing and the like can be prevented.

In the language processing method according to the second aspect of the present invention, the condition extracting step extracts a specific condition from a specific musical notation described in a logical language, and a musical score that meets the condition is converted in the converting step. Since it is possible to convert to a musical notation without using the backtracking control, it is possible to obtain a direct execution musical notation with a small capacity and high speed.

[0016]

【Example】

Example 1. Hereinafter, the first invention will be described based on embodiments. FIG. 1 is a diagram showing a musical notation written in a logical programming language, given specific structural type information. FIG. 2 shows a direct execution musical notation, which is a direct execution musical notation obtained by converting the musical notation shown in FIG. 1 by the logical language processing method according to the present invention. FIG. 3 is a flow chart showing the operation of this embodiment.

A musical notation described in a logical programming language to which specific structural type information is given will be described below with reference to FIG.
Reference numeral 1 is a musical notation described in a logical programming language, which is given specific structural type information. 2 is an algebra 1 written in a logic language
It is the specific structure type information given to. -(Var) is
It shows that the undefined variable (var) is not used as the structural type information of the argument. Although not shown,
In the case of (list), it indicates that the list (list) is not used as the structural type information of the argument, and-(co
nst) indicates that the constant is not used as the structural type information of the argument. 1b is a set of musical notation units, and is a musical notation in which specific processing is described. The specific structural type information 2 is structural type information for the first actual argument given to the group 1b of musical notation units by another musical notation not shown, and is given to the group 1b of musical notation units given by another musical notation not shown. A group of musical notation units 1 defined and provided corresponding to the first actual argument
This is to supplement the structural type information of the first dummy argument extracted from b. Here, the specific structural type information 2 of-(var) is
The structural type information of the first dummy argument is not used in the undefined variable (var) and indicates that it is either a list (list) or a constant (const). Therefore, by using this specific structural type information 2,
It is possible to generate direct execution musical notation without considering the case where the first dummy argument is an undefined variable (var). Here, it is assumed that structural type information that can be directly controlled and structural type information that must be backtracked are extracted from the set 1b of musical notation units. The specific structural type information 2 complements and defines the structural type information given by the first dummy argument with respect to the extracted structural type information. When some or all of the structural type information that requires control is not necessary, it is possible to obtain the musical score by removing some or all of the structural type information that requires backtracking control from the musical score 1.

Next, an example in which the present invention is used to directly convert an arithmetic notation described in a logic language into an execution arithmetic notation will be described. In the following, description will be given based on FIG. Reference numeral 4 is a direct execution musical notation, which is obtained by converting the musical notation 1 shown in FIG. 1 into a direct execution musical notation by the logical language processing method according to the present invention. Direct execution musical notation 4 is the musical notation 1 shown in FIG.
It defines the same execution control as the execution control defined in. Reference numeral 4a is an instruction, which is an instruction for direct control that changes execution control by the structural type information given by the first dummy argument when the direct execution musical notation 1 is activated. Reference numeral 4b is a direct execution musical notation, which defines processing for each musical notation unit shown in FIG.

Next, the operation will be described. When the first actual argument of another notation not shown is an undefined variable (var), execution control is transferred to the address part lab1 by the instruction 4a.
Since the first actual argument is an undefined variable (var) according to the specific structural type information 2 in FIG. and This process is terminated as an error due to fail. If the first actual argument from another notation (not shown) is a list (list), the execution control is transferred to the address part lab2 by the instruction 4a, and the process 1 is executed. After execution of the process 1, the process is terminated regardless of whether the process 2 can be executed. In addition, the first actual argument from another notation (not shown) is a constant (cons).
In the case of t), the execution control is transferred to the address part lab3 by the instruction 4a, and the process 2 is executed. After the execution of the process 2, the process ends regardless of other processes (for example, processes 3, 4, ...) After that. As described above, this direct execution musical notation is defined only by the direct control without any backward control when compared with the direct execution musical notation 1 shown in FIG. This is because the structural type information that requires the backtracking control is eliminated by the specific structural type information 1a shown in FIG. 1, and the direct execution musical score is fast and has a small capacity.

Next, a typical operation of this embodiment will be described. Hereinafter, description will be given based on the flowchart of FIG. First, it is checked whether or not the specific structural type information 2 is defined (step 11). If the specific structural type information 2 is not defined, the structural type information of the first actual argument is extracted from the musical notation described in the logical programming language as usual (ste.
p 16). An execution musical score is directly generated from the extracted structural type information (step 17). When the specific structural type information 2 is defined, the structural type information that restricts the structural type information with respect to the musical score is obtained (step 12). Next, the structural type information of the first dummy argument is extracted from the musical notation (step 1
3). A new structural type information is obtained by combining the structural type information obtained from the definition and the extracted structural type information (step
14). The structural information extracted from the musical notation determines the control of execution defined by the musical notation, and in the conventional method, the writer of the musical notation is controlled by the typical control means of the logical programming language. Contains structured type information for unintended backtracking control. Eliminating this unintended structural information by the definition of the musical notation makes it difficult for people to understand the musical arithmetic, and it is difficult to describe the musical notation that excludes all unintended structural information. is there. Therefore, step 12 explicitly gives the necessary structural type information or unnecessary structural type information from the process defined in this musical score, so that the unintended structural type information is converted. It is possible to do without giving to. Since the structural type information newly obtained in this way is structural type information with limited backtracking control, the direct execution musical notation obtained by the conversion is a high-speed, small-capacity direct execution musical notation using direct control. (Step 15).

As described above, in this embodiment, the conversion method of the specific logical language into the direct execution musical notation and the conversion means for converting the logical language format specified by the conversion method into the direct execution musical notation are provided. The logical language processing method, which has the feature, was explained.

Example 2. In the above embodiment,
Although the case where structural type information that is not required is given as the specific structural type information 2 is shown, the structural type information that is required may be given. For example, + (var) is
Indicates that an undefined variable (var) is used, + (l
ist indicates that a list is used, and + (const) indicates a constant (const).
May be used. Alternatively,
As the specific structural type information 2, those not required and those required may be mixed and used. For example −
If both (var) and + (list) are given as specific structural type information, it indicates that the undefined variable (var) is not used in the notation, and the list (list) is used. I will show you.

Example 3. In addition, in the case of the above embodiment, the case of the first actual argument and the first dummy argument is shown, but the specific structural type information given here is the first actual argument of the musical notation described in the logical programming language. Further, not only the first dummy argument but also the second and third actual arguments and dummy arguments after that can be similarly defined to obtain an efficient direct execution musical notation.

Example 4. Next, an embodiment of the second invention will be described. FIG. 4 is an example of a direct execution musical notation generated according to the present invention, and FIG. 5 is a flow chart showing the operation of the logical language processing system according to an embodiment of the second invention.
Hereinafter, an example of the direct execution musical notation generated by the present invention will be described with reference to FIG. Reference numeral 4 denotes a direct execution musical notation, which is obtained by converting the musical notation 1 described in the logic language of FIG. 8 into a direct execution musical notation according to the present invention. Reference numeral 41a denotes a direct execution control instruction, which transfers execution control to the address specified by the instruction when the first dummy argument and the first actual argument can be unified (UNIFICATION) as constants indicated by the instruction. If the unification is not possible, the execution control is transferred to the next instruction. 3a is a condition for determining whether unification is possible, and the first argument is a constant (constant, CO
In the case of NST), it is shown that the unification is possible and the instruction 42a described below is executed. Also,
3b represents an address part for changing the execution control when the condition fails, and in this case, the first dummy argument is an undefined constant variable (v) other than a constant (constant, CONST).
If it is ar), it means jump to address lab1. Next, 42a is an instruction, and the first dummy argument and the first
This is an instruction that unifies the actual arguments. The instruction 42a is shown in FIG.
It corresponds to the musical notation unit 1a. 43a is a command,
Indicates the end of execution. Reference numeral 4b is a direct execution musical notation portion, which corresponds to the musical notation unit 1b in FIG. in this way,
According to the direct execution musical notation shown in FIG. 4, the backtracking control is eliminated, the size of the musical notation can be reduced, and the execution speed is improved.

Next, a typical conversion method (operation) of the present embodiment for generating the direct execution musical notation 4 shown in FIG. 4 from the musical notation 1 described in the logical language shown in FIG. 8 will be described with reference to FIG. A description will be given based on the flowchart shown in. In this embodiment,
First, a judgment is made as to whether or not to generate a musical notation for performing backtracking control. When performing the backtracking control, the musical notation is directly converted into the execution musical notation by the conventional logical language processing method (st
ep 11). The condition extraction step 51 checks the following conditions as conversion conditions that can use direct control without using backtracking control. There are two musical score units in the mathematical notation written in the logic language (step.
12), the first actual argument of the musical notation unit that appears first is a constant that is not a structure (step 13), and when the first actual argument of the musical notation unit that appears first is an undefined variable, the processing sequence That the constant structure of the argument is determined in (s
step 14), the number of first argument of the notation unit is one (step 15), if the number of first notation argument of the notation unit is two or more, the second argument or more Are all anonymous variables (step 16), and the number of arguments of the first musical notation unit appearing is 2 or more,
If the second argument and above are not all anonymous variables, there is no processing to unify the arguments and unify them in the processing sequence (step 17). That the processing of the musical notation unit is restricted (not executed) (step 18).

If the above conditions are not satisfied, the musical notation is directly converted into the executed musical notation with the backtracking control as shown in FIG. 9 by the conventional logical language processing method (step).
p11). If the above conditions are satisfied, a direct execution musical notation for direct control is generated by the direct execution musical notation instruction 41a (st
ep 19). However, at this point, the address part 3b for changing the execution control is not filled. Next, after the judgment is completed,
The first appearing musical notation unit processing sequence is directly converted into the execution musical notation by the conventional conversion method to generate the instruction 42a (ste
p 20). Then, the address lab1 next to the last address of the direct execution musical notation allocated so far is set to step 19
The control change address part 3b of the direct execution musical notation of the direct execution control instruction 41a generated in step S21 is set (step 21). After that,
The musical score unit 1b is directly converted into the execution musical score 4b by the conventional conversion method (step 22). This is the end of the operation of this embodiment (step 23).

Example 5. In addition, the above-mentioned Examples 1, 2, 3,
In 4, the processing method of the logical language is shown, but it is also possible to generate the musical notation of a language other than the logical language.

[0028]

As described above, according to the first aspect of the invention, specific structural type information that complements structural type information is given to a musical score, and an execution musical score is generated from the musical score. Therefore, it is possible to obtain a language processing method that generates a high-speed and small-capacity execution musical notation.

Further, according to the second invention, in the musical notation written in the logic language, the musical notation having a specific condition is not the direct executing musical notation performing the backward control but the high speed performing the direct controlling. It is possible to directly generate run notation.

[Brief description of drawings]

FIG. 1 is a diagram showing an example of a musical score given to a musical score described in a logical language with specific structural type information according to the present invention.

FIG. 2 is a diagram showing an example of direct execution musical notation obtained by the present invention.

FIG. 3 is a flowchart showing a typical operation example of an embodiment of the present invention.

FIG. 4 is a diagram showing an example of conversion of direct execution musical notation generated by the present invention.

FIG. 5 is a flow chart diagram showing a typical operation example of an embodiment of the present invention.

FIG. 6 is a diagram showing an example of a musical notation written in a logical language.

FIG. 7 is a diagram showing an example of direct execution musical notation obtained by a conventional logical language processing method.

FIG. 8 is a diagram showing an example of a musical score described in a logical language.

FIG. 9 is a diagram showing an example of a conventional direct execution musical notation.

[Explanation of symbols]

1 Music notation 1a, 1b, 1c Music notation unit 2 Specific structural type information 4 Direct execution notation 4a, 4b, 4c Instruction or direct execution musical notation part

Claims (2)

[Claims] 1. A language processing method having the following steps: (a) a structural type information extracting step for obtaining structural type information from a musical score; and (b) for complementing the structural type information from the musical score. Specific structure type information extraction step of obtaining defined specific structure type information, (c) Structure type information complementing step of creating complementary structure type information by complementing the above structure type information based on the specific structure type information (d) Complementary structure An execution musical score generation step of generating an execution musical score based on the type information. 2. A language processing method having the following steps: (a) a condition extracting step of extracting a condition of whether to generate a musical score for performing backtracking control when generating the musical score, and (b) a condition extracting step. Based on the conditions extracted by
A conversion process for generating either one of a backslashed control and a non-returned control.