모노이드,monoid (rev. 1.9)
//eom
semigroup with identity
semigroup with identity
//wpko
항등원,identity_element을 갖는
결합법칙,associativity을 따르는
이항연산,binary_operation을 갖춘 대수구조,algebraic_structure.
항등원,identity_element을 갖는
결합법칙,associativity을 따르는
이항연산,binary_operation을 갖춘 대수구조,algebraic_structure.
i.e.
"추상대수학에서 모노이드는 항등원,identity_element을 갖는, 결합법칙,associativity을 따르는 이항연산,binary_operation을 갖춘 대수구조,algebraic_structure이다. 군,group의 정의에서 역원,inverse_element의 존재를 생략하거나, 반군,semigroup(semigroup)의 정의에서 항등원,identity_element의 존재를 추가하여 얻는다."
"추상대수학에서 모노이드는 항등원,identity_element을 갖는, 결합법칙,associativity을 따르는 이항연산,binary_operation을 갖춘 대수구조,algebraic_structure이다. 군,group의 정의에서 역원,inverse_element의 존재를 생략하거나, 반군,semigroup(semigroup)의 정의에서 항등원,identity_element의 존재를 추가하여 얻는다."
1.2. free monoid ¶
https://encyclopediaofmath.org/wiki/Free_semi-group
알파벳,alphabet
(Redirected from Free monoid)
단어,word알파벳,alphabet
}
1.4. monoidal category ¶
monoidal_category =,monoidal_category . monoidal_category
monoidal_category
forkto 모노이드범주,monoidal_category
범주,category
monoidal_categoryforkto 모노이드범주,monoidal_category
범주,category
1.5. submonoid ¶
submonoid
=,submonoid . submonoid
부분 모노이드
부분모노이드,submonoid
https://mathworld.wolfram.com/Submonoid.html
submonoid
submonoid
=,submonoid . submonoid
부분 모노이드
부분모노이드,submonoid
https://mathworld.wolfram.com/Submonoid.html
submonoidsubmonoid1.7. trace monoid ¶
trace_monoid =,trace_monoid . trace_monoid
trace_monoid x (2023-08-17)https://en.wikipedia.org/wiki/Trace_monoid
trace는 문자열,string. =,trace . trace { Sub: trace_cache =,trace_cache . trace_cache { (we)"In computer_architecture, a trace cache or execution trace cache is a specialized instruction_cache which stores the dynamic stream of instruction s known as trace. ..... A trace processor is an architecture designed around the trace cache and processes the instructions at trace level granularity. The formal mathematical theory of traces is described by trace monoids."
trace cachetrace_cache
execution trace cache
execution_trace_cache
instruction cache
instruction_cache
trace processor
trace_processor
trace monoid
trace_monoid
명령어,instruction 실행,execution 트레이스,trace? 캐시,cache 프로세서,processor 모노이드,monoid
https://en.wikipedia.org/wiki/Trace_cache
기타 trace / tracing 에 대해 더: =,trace =,tracing .
https://ko.wikipedia.org/wiki/트레이싱
Tracing_(software)
= https://en.wikipedia.org/wiki/Tracing_(software)
= https://en.wikipedia.org/wiki/Tracing_(software)
cmp event_logging
Tracing_(software)= https://en.wikipedia.org/wiki/Tracing_(software)
= https://en.wikipedia.org/wiki/Tracing_(software)
https://en.wikipedia.org/wiki/Trace_theory
DTrace (FreeBSD and SmartOS) { https://ko.wikipedia.org/wiki/DTrace https://en.wikipedia.org/wiki/DTrace
dtrace }
ftrace (Linux_kernel) https://en.wikipedia.org/wiki/Ftrace
WPP(?) (Windows) https://en.wikipedia.org/wiki/Windows_software_trace_preprocessor
그리고 추가로 비슷한것들, via https://en.wikipedia.org/wiki/DTrace#See_also :
eBPF (Linux_kernel) {
ktrace }
ltrace (Linux, userland application이 shared_library =,shared_library . shared_library { shared_library = shared_object .... https://en.wikipedia.org/wiki/Shared_library }호출하는 것을 보여주는 debugging utility) { (동적로딩 dynamic_loading 동적링킹 dynamic_linking linked to: https://ko.wikipedia.org/wiki/동적_적재 https://en.wikipedia.org/wiki/Dynamic_loading https://en.wikipedia.org/wiki/Dynamic_linker (Redirected fromDynamic_linking) )시스템을 hooking ... shim 을 삽입 ... static_linking(rel static_library = statically-linked_library .. linked to: https://ko.wikipedia.org/wiki/정적_라이브러리 https://en.wikipedia.org/wiki/Static_library ) 된 호출들은 trace할 수 없음. ... https://ko.wikipedia.org/wiki/Ltrace https://en.wikipedia.org/wiki/Ltrace }
strace (Linux, system_call 및 signal 을 모니터링하는 debugging utility) https://en.wikipedia.org/wiki/Strace
LTT Linux Trace Toolkit (LTT) { https://en.wikipedia.org/wiki/Linux_Trace_Toolkit }
and
LTTng Linux Trace Toolkit Next Generation (LTTng) {https://en.wikipedia.org/wiki/LTTngLTTng }
SystemTap (Linux_kernel tracing tool) { SystemTap (stap) scripting_language and tool for dynamic instrumentation =,instrumentation . instrumentation { instrumentation https://ko.wikipedia.org/wiki/인스트루먼테이션Instrumentation_(computer_programming) = https://en.wikipedia.org/wiki/Instrumentation_(computer_programming) = https://en.wikipedia.org/wiki/Instrumentation_(computer_programming) trace instrumentation } https://ko.wikipedia.org/wiki/SystemTap https://en.wikipedia.org/wiki/SystemTap SystemTap }
truss
ProbeVue (IBM AIX lightweight dynamic tracing environment) { https://en.wikipedia.org/wiki/ProbeVueProbeVue }
....
}
........ADDHERE.........
DTrace (FreeBSD and SmartOS) { https://ko.wikipedia.org/wiki/DTrace https://en.wikipedia.org/wiki/DTrace
dtrace }ftrace (Linux_kernel) https://en.wikipedia.org/wiki/Ftrace
WPP(?) (Windows) https://en.wikipedia.org/wiki/Windows_software_trace_preprocessor
그리고 추가로 비슷한것들, via https://en.wikipedia.org/wiki/DTrace#See_also :
eBPF (Linux_kernel) {
BPF : Berkeley_Packet_Filter { Berkeley Packet Filter (BPF) https://en.wikipedia.org/wiki/Berkeley_Packet_Filter }
https://en.wikipedia.org/wiki/EBPF ...eBPF eBPF eBPF }
ktrace (BSD and macOS, kernel-program interaction tracer) { ktrace이게 생성한 것은 kdump로 읽는다. https://ko.wikipedia.org/wiki/Ktrace https://en.wikipedia.org/wiki/Ktrace https://en.wikipedia.org/wiki/EBPF ...
eBPF eBPF eBPF }ktrace }ltrace (Linux, userland application이 shared_library =,shared_library . shared_library { shared_library = shared_object .... https://en.wikipedia.org/wiki/Shared_library }호출하는 것을 보여주는 debugging utility) { (동적로딩 dynamic_loading 동적링킹 dynamic_linking linked to: https://ko.wikipedia.org/wiki/동적_적재 https://en.wikipedia.org/wiki/Dynamic_loading https://en.wikipedia.org/wiki/Dynamic_linker (Redirected from
Dynamic_linking) )시스템을 hooking ... shim 을 삽입 ... static_linking(rel static_library = statically-linked_library .. linked to: https://ko.wikipedia.org/wiki/정적_라이브러리 https://en.wikipedia.org/wiki/Static_library ) 된 호출들은 trace할 수 없음. ... https://ko.wikipedia.org/wiki/Ltrace https://en.wikipedia.org/wiki/Ltrace }strace (Linux, system_call 및 signal 을 모니터링하는 debugging utility) https://en.wikipedia.org/wiki/Strace
LTT Linux Trace Toolkit (LTT) { https://en.wikipedia.org/wiki/Linux_Trace_Toolkit }
and
LTTng Linux Trace Toolkit Next Generation (LTTng) {https://en.wikipedia.org/wiki/LTTng
LTTng }SystemTap (Linux_kernel tracing tool) { SystemTap (stap) scripting_language and tool for dynamic instrumentation =,instrumentation . instrumentation { instrumentation https://ko.wikipedia.org/wiki/인스트루먼테이션
Instrumentation_(computer_programming) = https://en.wikipedia.org/wiki/Instrumentation_(computer_programming) = https://en.wikipedia.org/wiki/Instrumentation_(computer_programming) trace instrumentation } https://ko.wikipedia.org/wiki/SystemTap https://en.wikipedia.org/wiki/SystemTap SystemTap }truss
ProbeVue (IBM AIX lightweight dynamic tracing environment) { https://en.wikipedia.org/wiki/ProbeVue
ProbeVue }....
}
........ADDHERE.........
6. Inter ¶
https://everything2.com/title/monoid
{
번역at2023-09-26
Monoid는 거의 군,group이다. 유일하게 군의 조건을 만족하지 못하는 것이 그 안의 모든 원소,element가 인버스,inverse(역,inverse 역원,inverse_element?)을 가질 필요가 없다는 점이다.
모노이드는 항등원,identity_element을 가진다(이 특징을 semigroup과 대조해 보라.) - TBW
Contrast: semigroup
}
{
번역at2023-09-26
Monoid는 거의 군,group이다. 유일하게 군의 조건을 만족하지 못하는 것이 그 안의 모든 원소,element가 인버스,inverse(역,inverse 역원,inverse_element?)을 가질 필요가 없다는 점이다.
모노이드는 항등원,identity_element을 가진다(이 특징을 semigroup과 대조해 보라.) - TBW
Contrast: semigroup
}
Monoid_(category_theory)= https://en.wikipedia.org/wiki/Monoid_(category_theory)
= https://en.wikipedia.org/wiki/Monoid_(category_theory)
