Transformation over hyper-nodes - Revision history

imported>MajorLaFrime at 19:54, 6 December 2013

2013-12-06T19:54:17Z

← Older revision		Revision as of 19:54, 6 December 2013
Line 5:		Line 5:
	*(%a,"a",[a],<nowiki>[[a]]</nowiki>,A,(%b,"b")):=(%a,"");(the string of the hyper-node is set to ""; the internal node %b is not affected)		*(%a,"a",[a],<nowiki>[[a]]</nowiki>,A,(%b,"b")):=(%a,"");(the string of the hyper-node is set to ""; the internal node %b is not affected)
	*(%a,"a",[a],<nowiki>[[a]]</nowiki>,A,(%b,"b")):=(%a,-"a");(the same as above)		*(%a,"a",[a],<nowiki>[[a]]</nowiki>,A,(%b,"b")):=(%a,-"a");(the same as above)
	*(%a,"a",[a],<nowiki>[[a]]</nowiki>,A,(%b,"b")):=(%a,[c]);(the headword of the hyper-node is set to [c]; the internal node %b is affected)		*(%a,"a",[a],<nowiki>[[a]]</nowiki>,A,(%b,"b")):=(%a,[c]);(the headword of the hyper-node is set to [c]; the internal node %b is not affected)
	*(%a,"a",[a],<nowiki>[[a]]</nowiki>,A,(%b,"b")):=(%a,<nowiki>[[c]]</nowiki>);(the UW of the hyper-node is set to <nowiki>[[c]]</nowiki>; the internal node %b is not affected)		*(%a,"a",[a],<nowiki>[[a]]</nowiki>,A,(%b,"b")):=(%a,<nowiki>[[c]]</nowiki>);(the UW of the hyper-node is set to <nowiki>[[c]]</nowiki>; the internal node %b is not affected)
	*(%a,"a",[a],<nowiki>[[a]]</nowiki>,A,^B,(%b,"b")):=(%a,+B);(add the feature B to the hyper-node %a; the internal node %b is not affected)		*(%a,"a",[a],<nowiki>[[a]]</nowiki>,A,^B,(%b,"b")):=(%a,+B);(add the feature B to the hyper-node %a; the internal node %b is not affected)

imported>Martins at 11:34, 7 November 2013

2013-11-07T11:34:18Z

← Older revision		Revision as of 11:34, 7 November 2013
Line 16:		Line 16:
	*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B)):=(%a,(%b,[c]));(the headword of the inner node %bis set to [c]; the hyper-node %a is not affected)		*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B)):=(%a,(%b,[c]));(the headword of the inner node %bis set to [c]; the hyper-node %a is not affected)
	*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B)):=(%a,(%b,<nowiki>[[c]]</nowiki>));(the UW of the inner node %b is set to <nowiki>[[c]]</nowiki>; the hyper-node %a is not affected)		*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B)):=(%a,(%b,<nowiki>[[c]]</nowiki>));(the UW of the inner node %b is set to <nowiki>[[c]]</nowiki>; the hyper-node %a is not affected)
	*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B,^C)):=(%a,(%b,+C));(add the feature B to the inner node %b; the hyper-node %a is not affected)		*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B,^C)):=(%a,(%b,+C));(add the feature C to the inner node %b; the hyper-node %a is not affected)
	*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B,^C)):=(%a,(%b,C)); (the same as above: add the feature B to %b)		*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B,^C)):=(%a,(%b,C)); (the same as above: add the feature C to %b)
	*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B)):=(%a,(%b,-B));(delete the feature B from the inner node %b; the hyper-node %a is not affected)		*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B)):=(%a,(%b,-B));(delete the feature B from the inner node %b; the hyper-node %a is not affected)
	;Rules must have as many parentheses as the depth of the inner scope to be altered		;Rules must have as many parentheses as the depth of the inner scope to be altered

imported>Martins at 18:40, 26 August 2013

2013-08-26T18:40:58Z

← Older revision		Revision as of 18:40, 26 August 2013
Line 38:		Line 38:

	=== Extraction ===		=== Extraction ===
	Nodes may be extracted from hyper-nodes by removing the ~~hyper-node~~ parentheses. In this case, the hyper-node is deleted (along with its features), but the internal nodes and relations are preserved, if repeated on the right side.		Nodes may be extracted from hyper-nodes by removing the corresponding parentheses. In this case, the hyper-node is deleted (along with its features), but the internal nodes and relations are preserved, if repeated on the right side.
	*((%x),%y):=(%x); (the hyper-node %y is deleted, but its internal node %x is preserved; in case %y have nodes other than %x, these nodes will be deleted as well, because they are not repeated in the right side)		*((%x),%y):=(%x); (the hyper-node %y is deleted, but its internal node %x is preserved; in case %y have nodes other than %x, these nodes will be deleted as well, because they are not repeated in the right side)
	*(REL(%x;%y),%z):=REL(%x;%y); (the hyper-node %z is deleted, but its internal relation REL(%x;%y) is preserved; in case %z have relations other than REL(%x;%y), and nodes other than %x and %y, these will be deleted as well, because they are not repeated in the right side.		*(REL(%x;%y),%z):=REL(%x;%y); (the hyper-node %z is deleted, but its internal relation REL(%x;%y) is preserved; in case %z have relations other than REL(%x;%y), and nodes other than %x and %y, these will be deleted as well, because they are not repeated in the right side.

imported>Martins at 18:39, 26 August 2013

2013-08-26T18:39:16Z

← Older revision		Revision as of 18:39, 26 August 2013
Line 33:		Line 33:
	*(%a,A,^B):=(%a,+B); (the feature A is not deleted from the node %a)		*(%a,A,^B):=(%a,+B); (the feature A is not deleted from the node %a)
	*(%a,^B,(%b,"b")):=(%a,+B); (the node %b is not deleted from the hyper-node %a)		*(%a,^B,(%b,"b")):=(%a,+B); (the node %b is not deleted from the hyper-node %a)
			In order to delete inner nodes, the operator "-" must be used
			*(%a,A,(%b,B)):=(%a,-(%b)); (the node %b is deleted from the hyper-node %a)
			*(%a,A,rel(%b;%c)):=(%a,-rel(%b;%c)); (the relation rel(%b;%c) is deleted from the hyper-node %a)

	=== Extraction ===		=== Extraction ===

imported>Martins at 18:33, 26 August 2013

2013-08-26T18:33:56Z

← Older revision		Revision as of 18:33, 26 August 2013
Line 32:		Line 32:
	As any feature, inner nodes are conservative, and are not deleted even if they are not repeated (co-indexed) in the right side:		As any feature, inner nodes are conservative, and are not deleted even if they are not repeated (co-indexed) in the right side:
	*(%a,A,^B):=(%a,+B); (the feature A is not deleted from the node %a)		*(%a,A,^B):=(%a,+B); (the feature A is not deleted from the node %a)
	(%a,^B,(%b,"b")):=(%a,+B); (the node %b is not deleted from the hyper-node %a)		*(%a,^B,(%b,"b")):=(%a,+B); (the node %b is not deleted from the hyper-node %a)

	=== Extraction ===		=== Extraction ===

imported>Martins at 18:29, 26 August 2013

2013-08-26T18:29:02Z

← Older revision		Revision as of 18:29, 26 August 2013
Line 1:		Line 1:
	=== ~~Altering hyper-nodes~~ ===		=== Changes ===
	Hyper-nodes, as [[node]]s, have elements, which may be altered by the use of the operators + (add) and - (delete). The operator + may be omitted. Changes affect only the scopes indicated.		Hyper-nodes, as [[node]]s, have elements, which may be altered by the use of the operators + (add) and - (delete). The operator + may be omitted. Changes affect only the scopes indicated.
	;Changes to the main scope		;Changes to the main scope
Line 27:		Line 27:
	if the changes apply to all nodes ("b",[b],<nowiki>[[b]]</nowiki>,B) and not only to those inside scopes.		if the changes apply to all nodes ("b",[b],<nowiki>[[b]]</nowiki>,B) and not only to those inside scopes.

	=== ~~Deleting hyper-nodes~~ ===		=== Deletion ===
	Hyper-nodes, as any [[node]], are deleted if they are not repeated (co-indexed) in the right side. In this case, all the inner nodes are deleted as well:		Hyper-nodes, as any [[node]], are deleted if they are not repeated (co-indexed) in the right side. In this case, all the inner nodes are deleted as well:
	*(REL(%x;%y),%z):=; (the hyper-node %z will be deleted, and all its internal nodes and relations as well)		*(REL(%x;%y),%z):=; (the hyper-node %z will be deleted, and all its internal nodes and relations as well)
Line 34:		Line 34:
	(%a,^B,(%b,"b")):=(%a,+B); (the node %b is not deleted from the hyper-node %a)		(%a,^B,(%b,"b")):=(%a,+B); (the node %b is not deleted from the hyper-node %a)

	=== ~~Creating~~ hyper-nodes ===		=== Extraction ===
			Nodes may be extracted from hyper-nodes by removing the hyper-node parentheses. In this case, the hyper-node is deleted (along with its features), but the internal nodes and relations are preserved, if repeated on the right side.
			*((%x),%y):=(%x); (the hyper-node %y is deleted, but its internal node %x is preserved; in case %y have nodes other than %x, these nodes will be deleted as well, because they are not repeated in the right side)
			*(REL(%x;%y),%z):=REL(%x;%y); (the hyper-node %z is deleted, but its internal relation REL(%x;%y) is preserved; in case %z have relations other than REL(%x;%y), and nodes other than %x and %y, these will be deleted as well, because they are not repeated in the right side.

			=== Create ===
	Hyper-nodes are created through the encapsulation of existing nodes		Hyper-nodes are created through the encapsulation of existing nodes
	*(%x):=((%x),%y); (the hyper-node %y is created, with the node %x there inside)		*(%x):=((%x),%y); (the hyper-node %y is created, with the node %x there inside)
Line 42:		Line 47:
	:*(%x):=(%y); (the node %x will be simply replaced by %y; no hyper-node will be created)		:*(%x):=(%y); (the node %x will be simply replaced by %y; no hyper-node will be created)
	:*REL(%x;%y):=(%z); (the relation REL between the nodes %x and %y will be replaced by the node %z; no hyper-node will be created)		:*REL(%x;%y):=(%z); (the relation REL between the nodes %x and %y will be replaced by the node %z; no hyper-node will be created)

	~~=== Extracting nodes out of hyper-nodes ===~~
	Nodes may be extracted from hyper-nodes by removing the hyper-node parentheses. In this case, the hyper-node is deleted (along with its features), but the internal nodes and relations are preserved, if repeated on the right side.
	*((%x),%y):=(%x); (the hyper-node %y is deleted, but its internal node %x is preserved; in case %y have nodes other than %x, these nodes will be deleted as well, because they are not repeated in the right side)
	*(REL(%x;%y),%z):=REL(%x;%y); (the hyper-node %z is deleted, but its internal relation REL(%x;%y) is preserved; in case %z have relations other than REL(%x;%y), and nodes other than %x and %y, these will be deleted as well, because they are not repeated in the right side.

imported>Martins at 18:28, 26 August 2013

2013-08-26T18:28:20Z

← Older revision		Revision as of 18:28, 26 August 2013
Line 28:		Line 28:

	=== Deleting hyper-nodes ===		=== Deleting hyper-nodes ===
	Hyper-nodes are deleted if they are not repeated (co-indexed) in the right side. In this case, all the inner nodes are deleted as well:		Hyper-nodes, as any [[node]], are deleted if they are not repeated (co-indexed) in the right side. In this case, all the inner nodes are deleted as well:
	*(REL(%x;%y),%z):=; (the hyper-node %z will be deleted, and all its internal nodes and relations as well)		*(REL(%x;%y),%z):=; (the hyper-node %z will be deleted, and all its internal nodes and relations as well)
	~~In order to preserve~~ the ~~internal nodes~~, ~~see~~ "~~extracting nodes out of~~ hyper-~~nodes" (below~~).		As any feature, inner nodes are conservative, and are not deleted even if they are not repeated (co-indexed) in the right side:
			*(%a,A,^B):=(%a,+B); (the feature A is not deleted from the node %a)
			(%a,^B,(%b,"b")):=(%a,+B); (the node %b is not deleted from the hyper-node %a)

	=== Creating hyper-nodes ===		=== Creating hyper-nodes ===

imported>Martins at 18:21, 26 August 2013

2013-08-26T18:21:39Z

← Older revision		Revision as of 18:21, 26 August 2013
Line 19:		Line 19:
	*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B,^C)):=(%a,(%b,C)); (the same as above: add the feature B to %b)		*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B,^C)):=(%a,(%b,C)); (the same as above: add the feature B to %b)
	*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B)):=(%a,(%b,-B));(delete the feature B from the inner node %b; the hyper-node %a is not affected)		*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B)):=(%a,(%b,-B));(delete the feature B from the inner node %b; the hyper-node %a is not affected)
			;Rules must have as many parentheses as the depth of the inner scope to be altered
			*(%a,(%b,(%c,(%d,(%e,"e",[e],<nowiki>[[e]]</nowiki>,E))))):=(%a,(%b,(%c,(%d,(%e,"f"))))); (the string of inner node %e is set to "f"; the enclosing nodes %d, %c, %b and %a are not affected)
	;Hyper-nodes do not need to be represented if the changes apply to nodes instead of nodes inside hyper-nodes:		;Hyper-nodes do not need to be represented if the changes apply to nodes instead of nodes inside hyper-nodes:
	*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B)):=(%a,(%b,"c")); (the string of the inner node %b is set to "c"; the hyper-node %a is not affected)		*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B)):=(%a,(%b,"c")); (the string of the inner node %b is set to "c"; the hyper-node %a is not affected)

imported>Martins at 18:19, 26 August 2013

2013-08-26T18:19:03Z

← Older revision		Revision as of 18:19, 26 August 2013
Line 1:		Line 1:
	=== Altering hyper-nodes ===		=== Altering hyper-nodes ===
	Hyper-nodes, as [[node]]s, have elements, which may be altered by the use of the operators + (add) and - (delete). The operator + may be omitted. Changes affect only the scopes indicated.		Hyper-nodes, as [[node]]s, have elements, which may be altered by the use of the operators + (add) and - (delete). The operator + may be omitted. Changes affect only the scopes indicated.
	;Changes to main scope		;Changes to the main scope
	*(%a,"a",[a],<nowiki>[[a]]</nowiki>,A,(%b,"b")):=(%a,"c");(the string of the hyper-node is set to "c"; the internal node %b is not affected)		*(%a,"a",[a],<nowiki>[[a]]</nowiki>,A,(%b,"b")):=(%a,"c");(the string of the hyper-node is set to "c"; the internal node %b is not affected)
	*(%a,"a",[a],<nowiki>[[a]]</nowiki>,A,(%b,"b")):=(%a,"");(the string of the hyper-node is set to ""; the internal node %b is not affected)		*(%a,"a",[a],<nowiki>[[a]]</nowiki>,A,(%b,"b")):=(%a,"");(the string of the hyper-node is set to ""; the internal node %b is not affected)

imported>Martins at 18:18, 26 August 2013

2013-08-26T18:18:14Z

← Older revision		Revision as of 18:18, 26 August 2013
Line 19:		Line 19:
	*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B,^C)):=(%a,(%b,C)); (the same as above: add the feature B to %b)		*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B,^C)):=(%a,(%b,C)); (the same as above: add the feature B to %b)
	*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B)):=(%a,(%b,-B));(delete the feature B from the inner node %b; the hyper-node %a is not affected)		*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B)):=(%a,(%b,-B));(delete the feature B from the inner node %b; the hyper-node %a is not affected)
	;Hyper-nodes do not need to be represented if the changes apply to nodes instead of to nodes inside hyper-nodes:		;Hyper-nodes do not need to be represented if the changes apply to nodes instead of nodes inside hyper-nodes:
	*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B)):=(%a,(%b,"c"));(the string of the inner node %b is set to "c"; the hyper-node %a is not affected)		*(%a,(%b,"b",[b],<nowiki>[[b]]</nowiki>,B)):=(%a,(%b,"c")); (the string of the inner node %b is set to "c"; the hyper-node %a is not affected)
	:could be represented simply as		could be represented simply as
	*(%b,"b",[b],<nowiki>[[b]]</nowiki>,B)):=(%b,"c");		*(%b,"b",[b],<nowiki>[[b]]</nowiki>,B)):=(%b,"c");
	:if the changes apply to all nodes ("b",[b],<nowiki>[[b]]</nowiki>,B) and not only to those inside scopes		if the changes apply to all nodes ("b",[b],<nowiki>[[b]]</nowiki>,B) and not only to those inside scopes.

	=== Deleting hyper-nodes ===		=== Deleting hyper-nodes ===