JPH0727519B2 - Formula editing method - Google Patents

Description

The present invention relates to a document creation device, and more particularly to a mathematical expression editing device suitable for creating and editing mathematical expressions and the like.

[Conventional technology]

With the formula editing function that has already been implemented, when you want to correct a part of a formula that has a hierarchical relationship, you can delete it in unnecessary character string units or relationship units and insert the character string or function you want to correct. Was there. Alternatively, the reverse operation procedure was performed. However, it is impossible to arbitrarily specify the correction range on the mathematical formula and correct the character string by the correction function.

[Problems to be solved by the invention]

In the above-mentioned conventional technique, the function of deleting character string or function unit and the function of inserting character string or function are combined and operated to correct the mathematical expression. Also, regarding the delete function, it was impossible to specify multiple relationships at the same time.

An object of the present invention is to simplify editing of a character string having a hierarchical relationship such as a mathematical expression by providing a correction function capable of designating a range in consideration of the hierarchical relationship.

[Means for Solving Problems] In particular, the purpose is to indicate a start point and an end point of a character string to be corrected in an input mathematical formula, and an end point to be placed behind a mathematical symbol. Third factor to be given (205-2
When the position is before the end point (factor 211) of 11), the end point of the character string to be corrected is the third final factor (factor 211) according to the hierarchical relationship stored in the storage means.
And means for enlarging and changing the character string to be corrected up to.

[Action]

The means to correct an arbitrary range of a mathematical expression is to recognize the mathematical expression as a character string group, convert the specified range on the mathematical expression to the position of the character string group, delete the corresponding position of the character string group, and then move it to the deleted position. , Insert the correction character string input from the input device. The method of recognizing the hierarchical relationship of mathematical expressions compares the hierarchical nests of the start point and the end point based on the relationship between the character strings judged at the time of input, and if they are different, corrects the deeply specified point of the nest to be the same nest. To do. The correction method is to search for the character string or function of the same nest that has a dependency relationship with the corresponding character, and to find the corresponding specified point,
Correct the retrieved character string or function to the appropriate character position.

In this case, the character string dependency is, for example, a mathematical formula , Σ and i = 0, Xi, etc.

〔Example〕

Hereinafter, embodiments in which the present invention is applied to a word processor will be described in detail with reference to the drawings.

FIG. 4 is a device configuration diagram of the present invention. In FIG. 4, a processing device 401 is, for example, a microprocessor, which reads out and executes a program stored in the program memory 404, and controls each program and transfers data via a bus line 414.

When a character forming a mathematical expression is input from the key input device 403 which is a part of the data input device, a character code corresponding to the character is stored in the key code memory 402. Processor 4
01 generates the input character pattern by the pattern generation device 407 and displays it on the display device 411. When the input characters are symbols unique to mathematics such as Σ and ∫ (hereinafter simply referred to as mathematical symbols), the number of character strings (hereinafter referred to as arguments) attached to the corresponding mathematical symbol from the mathematical symbol memory 406. Or to read the address in the argument information memory 405. The argument information memory 405 stores the relative coordinates of each argument of each mathematical symbol. The processing device 401 calculates the display position of the next argument based on the information in the argument information memory 405 and sends it to the display control circuit 409. The display control circuit 409 displays the cursor at the sent coordinates. If the character input from the key input device 403 is a mathematical symbol, the processing device 40
The value 1 gives the nest management memory 410 information that the hierarchy has gone down by one. The nest management memory 410 manages the depth of the hierarchy. When a mathematical symbol is input, the hierarchy is lowered by one, and when all the relevant mathematical symbols are input, the hierarchy is increased by one. The component memory 408 divides the characters forming the mathematical expression into several groups (hereinafter referred to as elements), and stores the relationship between each element and the address of actual data. When the correction instruction of the element in the mathematical expression is given through the key input device 403, the processing device 401 analyzes the information in the component memory 408, searches for a subordinate element, and finds the corresponding element in it. Fix it. When all the mathematical expressions have been input, the processing device 401 stores them in the mathematical expression data storage memory 412.

2 and 3 show the method of dividing elements in the mathematical formula and the relationship between the elements. An element is a mathematical symbol such as Σ ・ ∫ or a character string attached to it, and specifically, a mathematical symbol, an argument of the mathematical symbol, a coefficient that precedes the mathematical symbol, and a term that follows the mathematical symbol. It is divided into types. In FIG. 2, the argument of the mathematical symbol Σ refers to the element 203 or the element 204, and the coefficient refers to the element 201. The term of the mathematical symbol Σ means the element 212. The argument element and the term element add an element end symbol (hereinafter referred to as a delimiter) indicating that the element ends at the end of the element.

There are three types of relationships between elements: parent and child, siblings, and peers. The parent-child relationship is the element 302 and the element 303.
, The relation between the mathematical symbol and the first argument. The sibling relationship is a relationship between arguments having the same mathematical symbol, such as element 303 and element 304. The equivalence relation means a relation such as a mathematical symbol and its coefficient, or a term like the elements 301 and 302.

FIGS. 5 and 7 are diagrams showing an algorithm of a method for determining the relationship between the elements and a method of actually storing the relationship between the elements. When a character string forming a mathematical expression is input and divided into elements, the relationship between the elements is determined according to the algorithm of FIG. The type of the input element is determined in step 501, and if it is a mathematical symbol, the system guides the next input element to be the first argument of the currently input element. So in step 502,
A point indicating a parent-child relationship is connected between the currently input element and the next input element. Also,
Stack the stack in the nest management memory that manages the nest of mathematical symbols. As shown in FIG. 6, the nest management memory comprises a stack portion and a stack point 603, and the stack portion further includes an element area 601 and an argument number area 602.
It is divided into The element area 601 is an area for storing the element number of the input mathematical symbol, and the argument number area 602 stores the number of uninput arguments of the elements stored in the corresponding element area 601. The stack pointer stores the element number and the address of the memory that stores the uninput argument when the next mathematical symbol is input. When a new mathematical symbol is input, the stack pointer also increases (step 504).

When the input element is a character string without a delimiter such as a coefficient of a mathematical symbol, it has the same relation as the next input element. Therefore, the next element is pointed to by the pointer indicating the equivalence relation (step 50).
Five).

When the input element is a character string with a delimiter such as a mathematical symbol argument or a term that follows, it is further divided into three procedures as shown in FIG. If the stack pointer of the nest management memory 410 is pointing to the 0th row (step 506), the input of all formulas is considered to be completed with the input delimiter (step 513). ). If not, the number of uninput arguments stored in the argument count area 602 of the nest management memory 410 is determined (step 507). If the number of unfilled arguments is 2 or more, the system prompts you to enter the next argument. Therefore, a sibling relationship is formed with the next input element (step 508), and the argument number area 602 of the nest management memory 410 is reduced (step 509). If the unfilled argument is 1, then the entered element becomes the last argument of the most recently entered mathematical symbol. Then, the system guides the user to enter a term that follows the most recently entered mathematical symbol. Therefore, an equivalence relation is created between the most recently entered mathematical symbol element and the next element (step 510). At this time, the element number of the most recently input mathematical symbol element is stored in the element area 601 at the top of the stack in the nest management memory 410. Next, the stack pointer 603 indicating the uppermost stage of this stack is decreased by one stage. The data obtained from the above algorithm is stored for each element as shown in FIG. Each data includes an element number area 701 that stores an element number, a parent-child pointer area 702 that points to a child element, a sibling pointer area 703 that points to a sibling element, a coordinated pointer area 704 that points to an equivalent element, and a data length that points to the data length. An area 705 and a data pointer area 706 that points actual data.

Next, the details of the present invention will be described with reference to FIGS. 1 to 7. The correction range specifies the start position and the end position of the character string (character or function) to be corrected by the cursor. The designation method may be start position → end position or end position → start position. This designated position is stored in the key code memory 402 as two addresses (X, Y coordinates). FIG. 1 shows the algorithm of the present invention. In the formula correction range designation processing in step 101, the coordinates of the two points, which are range designation information, are fetched from the key code memory 402. Step 102
In the character string position conversion process, first, the first point of the coordinates of the two points is compared with the address of each element stored in the component memory 408 to search for an element including the address of the first point, Confirms the character specified by the cursor. Nest management memory 410
Take out from. Similarly, the designated character at the second point is also decided, and the nest of the decided character is taken out from the nest management memory 410. In addition, the confirmed two data pointers 70
Compare 6 to determine the start and end positions. That is, since the mathematical formula data is stored according to the hierarchical relation of the mathematical formula, the smaller data pointer is the starting point. Next step
The nest of the start point and the end point fetched in 102 is compared (step 103). If the nests do not match, step 107 processing, that is, the parent / child pointer 7
Follow 02 and expand to a higher level so that the nest is the same, and correct the specified position. This processing is because mathematical expressions have a hierarchical relationship, unlike a character string of a normal document, and therefore must be two-dimensionally arranged in consideration of the meaning of mathematical expressions. For example, 202 to 211 in FIG. 2 constitute a function of Σ. 203 is the first argument, 204 is the second argument, 20
5 to 211 is the third argument. With such a configuration 204
In the case of specifying from 1 to 207, a delimiter exists between the second argument and the third argument, but this delimiter is also included in the correction range. If the correction process is to be performed as it is, the character string to be replaced must have a delimiter. Further, even if there are delimiters, if the number of delimiters before correction is larger than the number of delimiters before correction, the hierarchical relationship of the mathematical expression is broken. In addition, if the method of letting the input person specify when inputting the character string to be replaced, the input operation is different from the mathematical expression input. In order to avoid the above, in this embodiment, the hierarchical structure between the data points arbitrarily specified in the same formula is based on the nest management memory 410 to determine whether they are in the same hierarchy as the parent-child pointer 702, sibling pointer 703, and relative pointer. 704 is compared, and if either pointer is different, the deep data point of the hierarchical structure is raised to the function of the shallow hierarchical structure, the start point is the start point of the function, and the end point is the end of the function. To the point
Fix it. In the case of straddling between arguments of the same function as in the present embodiment, the start point is corrected so that the start point (202) of the corresponding function (Σ202 corresponds in this example) becomes the end point (211). .

Next, the relevant mathematical formula stored in the mathematical formula data storage memory 412 is taken out, and the designated (corrected) relevant character string is deleted from the mathematical formula (step 104). At this time, the argument information memory 405, the component memory 408, the nest management memory 410
Also, correct it according to the formula contents after deletion. Since the formula with the specified range deleted is used as a guide for input operation,
It may be displayed on the display device 411.

Next, the character string to be replaced is input from the key input device 403 which is a data input device and stored in the key code memory 402 (step 105). The input character string may be inserted into the deleted mathematical expression for each input unit and displayed on the display device 411, or may be displayed at another display location (for example, a character string input line).

Next, in the mathematical expression whose designated range has been deleted in step 104, a process for leaving the number of characters input from the first point where the character string was specified (corrected) is performed, and step 10 is added to the empty part.
Insert the character string entered in 5, and as a corrected formula,
The data is stored in the formula data storage memory (step 106). The corrected mathematical formula is displayed on the display device 411 after the uncorrected mathematical formula is erased.

There are two procedures to correct a part of the formula: deleting and then inserting the replacement character string, and inserting and deleting the unnecessary part (specified range). Good.

EFFECTS OF THE INVENTION As described above, according to the present invention, means for instructing the start point and the end point of a character string to be corrected in an input mathematical expression,
When the designated end point is a position before the end point (factor 211) of the third factor (205 to 211) given after the mathematical symbol, the end point of the character string to be corrected is set to the above. Since the means for enlarging and changing the character string to be corrected up to the third final factor (factor 211) according to the hierarchical relationship stored in the storage means is provided, the created mathematical expression can be specified by specifying an arbitrary range. When correcting, not only deletion and insertion can be performed at the same time, but even if the character string to be corrected is specified only up to the middle of the third factor, the specified range is automatically extended to the end of the third factor. Since the enlargement processing is performed by the system, the correction operation can be simplified and an incorrect formula can be prevented from being created.

[Brief description of drawings]

FIG. 1 is a diagram showing an algorithm of the present invention, FIGS. 2 and 3 are diagrams showing a method of dividing mathematical formulas into elements, and relationships between the elements, and FIG. 4 is a device configuration to which the present invention is applied. FIG. 5, FIG. 5 is a flow chart showing an algorithm for judging between elements, FIG. 6 is a block diagram of a nest management memory, and FIG. 7 is a diagram for explaining a configuration of a component memory. . 101 ... correction range acceptance step, 102 ... character string position conversion step, 103 ... nesting level judgment step, 104 ...
Specified character string deletion step, 105 …… Replacement character string input step, 106 …… Corrected character string insertion step, storage step, 107
...... Correction of specified range, expansion step.

Continuation of front page (56) References JP-A-61-64451 (JP, A) JStar Reference Guide (1985-1) P. 15-1 to 15-17

Claims (1)

[Claims] 1. A means for displaying document information on a display device and inputting a mathematical expression comprising a character string group having a hierarchical relationship between character strings according to an instruction from an input device, and the character string group. A mathematical expression having means for displaying, means for breaking the hierarchical relationship, storage means for storing the hierarchical relationship, and means for modifying at least one character string constituting the character string group created by the means. In the editing method, means for designating a start point and an end point of a character string to be corrected among the mathematical expressions input above, and a third factor (205) at which the designated end point is given after the mathematical symbol. ˜211) before the end point (factor 211), the end point of the character string to be corrected is determined by the third final factor (factor 211) according to the hierarchical relationship stored in the storage means. And a means to enlarge and change the character string to be corrected up to Formula editing method that includes